From fda6424eeaa3f68219e1dee9a157f7de5e51cab9 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 21 Jun 2024 09:03:25 +0000
Subject: [PATCH] Use CBMC version 6.0.1

---
 kani-dependencies | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kani-dependencies b/kani-dependencies
index 9de043c211e2..61bdf696b23b 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,6 +1,6 @@
 CBMC_MAJOR="6"
 CBMC_MINOR="0"
-CBMC_VERSION="6.0.0"
+CBMC_VERSION="6.0.1"
 
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_MAJOR="3"