From 1a0fdc97dded6098ef51c49e3ea68f8691356b07 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 17 Jan 2025 19:03:45 +0000
Subject: [PATCH] Update Kani version

---
 tool_config/kani-version.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool_config/kani-version.toml b/tool_config/kani-version.toml
index 720b7bdb33245..eddd1ca67dd08 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 = "db9516b292cf4f4b1a414d55e746f82d34fbc9f4"
+commit = "6f70c7d9ee283356e8a3712c42c4622a6bf6c5e8"