Merge pull request #3926 from keplertech/signoff-single-commit

maliberty · web-flow · commit 6b51a5afb3f8 · 2026-02-25T20:07:54.000Z
liberty parsing fix in LEC check
diff --git a/tools/kepler-formal b/tools/kepler-formal
@@ -1 +1 @@
-Subproject commit a18e4d979766dfa9df5ecb43708a2e877f390eda
+Subproject commit 97cf895dad8fcccdfe984c30faa787af6bc044ad
