liberty parsing fix in LEC check

Noam Cohen · nanocoh · commit 2a5333164528 · 2026-02-25T18:43:43.000+01:00
Signed-off-by: nanocoh &lt;noam.chn1@gmail.com&gt;
diff --git a/tools/kepler-formal b/tools/kepler-formal
@@ -1 +1 @@
-Subproject commit a18e4d979766dfa9df5ecb43708a2e877f390eda
+Subproject commit 97cf895dad8fcccdfe984c30faa787af6bc044ad
