diff --git a/scripts/kani-regression.sh b/scripts/kani-regression.sh
index caee10bc2ea0..022f7e6b8518 100755
--- a/scripts/kani-regression.sh
+++ b/scripts/kani-regression.sh
@@ -19,7 +19,7 @@ KANI_DIR=$SCRIPT_DIR/..
 export KANI_FAIL_ON_UNEXPECTED_DESCRIPTION="true"
 
 # Required dependencies
-check-cbmc-version.py --major 5 --minor 84
+check-cbmc-version.py --major 5 --minor 85
 check-cbmc-viewer-version.py --major 3 --minor 8
 check_kissat_version.sh