From d0a9ee6c309f0207295ccfab3966c430a26776bd Mon Sep 17 00:00:00 2001
From: Chris Phifer <cphifer@galois.com>
Date: Tue, 23 Jun 2020 18:09:04 -0400
Subject: [PATCH] Bumped Crucible to fix issue #709

---
 deps/crucible | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/crucible b/deps/crucible
index 6e7a808316..6cd20d5c2d 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit 6e7a808316407b44f80f3c86cbaa78298059d98a
+Subproject commit 6cd20d5c2d5a18cb073acf3057cc224caef109e9