fixing gcd

Noam Cohen · nanocoh · commit e3165843d696 · 2026-01-21T22:48:53.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 7878b973b427ff733c1e0325517438543e5c1849
+Subproject commit 2c0f78e7483333dd0d5340cbb3567f96dd290d53
