From a951ec11c966c2bb7aa82e7bf8b5fe6c9a9573c6 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Wed, 15 Oct 2025 11:52:23 -0700
Subject: [PATCH] Bump CBMC dependency from cbmc-6.7.0 to cbmc-6.7.1

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

diff --git a/lib/cbmc b/lib/cbmc
index 5d1438a88..d148ae6e8 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 5d1438a883201a8983b1449eb2485df0821c819d
+Subproject commit d148ae6e880a3ef167bb71e9ed28169578899dce