diff --git a/lib/cbmc b/lib/cbmc
index 96f499a2..33fcccf8 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 96f499a2ac53064fb7695eaa1a937e827148f69a
+Subproject commit 33fcccf8982add2cb7774811c3c29eddac2b9669