diff --git a/tools/kepler-formal b/tools/kepler-formal
index 9dd032c6ff..f5199717d6 160000
--- a/tools/kepler-formal
+++ b/tools/kepler-formal
@@ -1 +1 @@
-Subproject commit 9dd032c6ffb885c232801bc20f39cd5c80dc05fe
+Subproject commit f5199717d6d66256cfd25edf50149950d5f3f59c