From dad0be04d90bf1d5b6c1cef72e6392963c05c2f8 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Fri, 11 Oct 2024 11:59:18 -0700
Subject: [PATCH] bump CBMC dependency

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

diff --git a/lib/cbmc b/lib/cbmc
index a209b44e1..83922b2f5 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit a209b44e1f38144b707e6d1eeb3abb35c40143ab
+Subproject commit 83922b2f547f3e04c7dc51d070af73e3d3064451