From 679853c5470ccfc6e0cf64021e6d09bd9599a52a Mon Sep 17 00:00:00 2001
From: Peter Schrammel <peter.schrammel@diffblue.com>
Date: Sat, 12 Oct 2024 15:09:08 +0100
Subject: [PATCH] Bump CBMC submodule to 6.3.1

---
 lib/cbmc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/cbmc b/lib/cbmc
index 96f499a2..33fcccf8 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 96f499a2ac53064fb7695eaa1a937e827148f69a
+Subproject commit 33fcccf8982add2cb7774811c3c29eddac2b9669