diff --git a/lib/cbmc b/lib/cbmc
index 32143ddf8..3c915ebe3 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 32143ddf8ae93e6bd0f52189de509662348c2373
+Subproject commit 3c915ebe35448a20555c1ef55d51540b52c5c34a