diff --git a/tool_config/kani-version.toml b/tool_config/kani-version.toml
index c28d156262481..10ad4876ff0f3 100644
--- a/tool_config/kani-version.toml
+++ b/tool_config/kani-version.toml
@@ -2,4 +2,4 @@
 # incompatible with the verify-std repo.
 
 [kani]
-commit = "8400296f5280be4f99820129bc66447e8dff63f4"
+commit = "26c078e097025499baf6e360210a21989d3605e0"