From 3b43d6a9a3f7f7a8003d00fcc4836c322d6679dd Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Fri, 14 May 2021 18:03:14 -0700
Subject: [PATCH] Bump submodule to include GaloisInc/crucible#730
 "concurrency".

Also adapt `cabal.project`.
---
 cabal.project | 2 ++
 deps/crucible | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/cabal.project b/cabal.project
index 49f92332a1..fe0f598b6f 100644
--- a/cabal.project
+++ b/cabal.project
@@ -17,9 +17,11 @@ packages:
     deps/cryptol
     deps/what4/what4
     deps/crucible/crucible
+    deps/crucible/crucible-concurrency
     deps/crucible/crucible-jvm
     deps/crucible/crucible-llvm
     deps/crucible/crucible-saw
+    deps/crucible/crucible-syntax
     deps/crucible/crux
     deps/crucible/crux-mir
     deps/parameterized-utils
diff --git a/deps/crucible b/deps/crucible
index 68eb8b5e70..9d0347a5d6 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit 68eb8b5e708a54adebb17feae91808a08fbdb403
+Subproject commit 9d0347a5d644ef5c916a4f483e7822990743ab72