From 72e60eb6a97412d5e4f2c99e6143a61cd2482d8e Mon Sep 17 00:00:00 2001
From: Jeff Ng <jeffng@precisioninno.com>
Date: Sat, 22 Aug 2026 03:38:53 +0000
Subject: [PATCH] update kepler-formal to f519971

Signed-off-by: Jeff Ng <jeffng@precisioninno.com>
---
 tools/kepler-formal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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