From 25032ad7fe88c9f5b77fb6a09f5a7bba46011fc8 Mon Sep 17 00:00:00 2001
From: martin <martin@michael>
Date: Thu, 28 May 2020 17:36:39 +0100
Subject: [PATCH] Update the CBMC submodule.

---
 lib/cbmc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/cbmc b/lib/cbmc
index 4682d07e9..5568f6482 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 4682d07e9145c981208e8bbae01c5637a1667cd2
+Subproject commit 5568f64826e7e8c0820fd6c9d11ed893b4a28ddc