Bump submodule to include GaloisInc/crucible#730 "concurrency".

Also adapt `cabal.project`.
GaloisInc · May 15, 2021 · 3b43d6a · 3b43d6a
1 parent 60f2c4a
commit 3b43d6a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git 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