From db9516b292cf4f4b1a414d55e746f82d34fbc9f4 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Fri, 29 Nov 2024 12:24:37 +0100
Subject: [PATCH] Automatic upgrade of CBMC from 6.4.0 to 6.4.1 (#3748)

Upgrade CBMC to its latest release.

Resolves: #3670

Co-authored-by: tautschnig <1144736+tautschnig@users.noreply.github.com>
---
 kani-dependencies | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"