fix black parrot

Noam Cohen · nanocoh · commit 9588dabaf06a · 2026-06-12T18:43:31.000+02:00
Signed-off-by: Noam Cohen &lt;noam.chn1@gmail.com&gt;
diff --git a/tools/kepler-formal b/tools/kepler-formal
@@ -1 +1 @@
-Subproject commit b9d98662f7df4f0e4939c730920a336e6b5460dd
+Subproject commit 86188ac7b687418d2dad3739f6c945b687367560
