Bump lib/cbmc to include diffblue/cbmc#5214

thk123 · thk123 · commit ba400741e3eb · 2020-01-22T11:31:06.000Z
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 0e51ef32566f8f2fe25e37144fb2d329579f7b18
+Subproject commit dd45c95b1eb9c30a538f8b2709ce2e8ac4e28612
