diff --git a/kani-dependencies b/kani-dependencies
index 1f4428827e4e..004e9a0a9811 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,5 +1,5 @@
 CBMC_MAJOR="6"
 CBMC_MINOR="4"
-CBMC_VERSION="6.4.0"
+CBMC_VERSION="6.4.1"
 
 KISSAT_VERSION="3.1.1"