From 86affc16e5fe4056627250a47abd9cbfd2ef480d Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Thu, 13 Mar 2025 10:25:46 -0700
Subject: [PATCH] bump CBMC dependency to 6.5.0

The CBMC dependency is bumped to the 6.5.0 release.
---
 lib/cbmc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/cbmc b/lib/cbmc
index 9bade97ef..32143ddf8 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 9bade97ef304c98e66674c208f72d4532490645d
+Subproject commit 32143ddf8ae93e6bd0f52189de509662348c2373