From b44639e07a22536249bb4ad281e5bb21b1e17c23 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Thu, 19 Sep 2024 11:48:29 -0700
Subject: [PATCH] bump CBMC to cbmc-6.3.1

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

diff --git a/lib/cbmc b/lib/cbmc
index b3359791b..d2b4455a1 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit b3359791bcc1a6651646920c3936ce167465db92
+Subproject commit d2b4455a109383562735cfb8b52ed8a6d2b6e197