From 2c7a46a091bc701f8b2e32511dbd2cbcc011d0c7 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Fri, 27 Jun 2025 06:52:13 +0200
Subject: [PATCH] Bump CBMC to release 6.7.0

---
 lib/cbmc             | 2 +-
 src/hw-cbmc/Makefile | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/lib/cbmc b/lib/cbmc
index 3c915ebe3..5d1438a88 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 3c915ebe35448a20555c1ef55d51540b52c5c34a
+Subproject commit 5d1438a883201a8983b1449eb2485df0821c819d
diff --git a/src/hw-cbmc/Makefile b/src/hw-cbmc/Makefile
index 36a01d8b8..7634c69de 100644
--- a/src/hw-cbmc/Makefile
+++ b/src/hw-cbmc/Makefile
@@ -19,7 +19,6 @@ OBJ+= $(CPROVER_DIR)/goto-checker/goto-checker$(LIBEXT) \
       $(CPROVER_DIR)/goto-instrument/source_lines$(OBJEXT) \
       $(CPROVER_DIR)/goto-instrument/reachability_slicer$(OBJEXT) \
       $(CPROVER_DIR)/goto-instrument/nondet_static$(OBJEXT) \
-      $(CPROVER_DIR)/goto-instrument/unwindset$(OBJEXT) \
       $(CPROVER_DIR)/xmllang/xml_interface$(OBJEXT) \
       $(CPROVER_DIR)/ansi-c/ansi-c$(LIBEXT) \
       $(CPROVER_DIR)/cpp/cpp$(LIBEXT) \