From 5250f8937140be8ae50649136f5c77688a3b5f6b Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Tue, 23 Feb 2021 17:18:41 -0800
Subject: [PATCH] Update submodules.

---
 deps/crucible              | 2 +-
 deps/cryptol               | 2 +-
 deps/llvm-pretty-bc-parser | 2 +-
 deps/parameterized-utils   | 2 +-
 deps/saw-core              | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/deps/crucible b/deps/crucible
index e635f160a5..c571716764 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit e635f160a5c5ec713505e871da24cd9f39b35667
+Subproject commit c571716764ad167cebf95b1ddb6bbbf53851c435
diff --git a/deps/cryptol b/deps/cryptol
index 0abde1e55e..6b784b11ec 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 0abde1e55e4db85a054e8976c61531ca7d29137a
+Subproject commit 6b784b11ec7291b9e1a93edafeada6459868091c
diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser
index c38b86b8b4..54737bd367 160000
--- a/deps/llvm-pretty-bc-parser
+++ b/deps/llvm-pretty-bc-parser
@@ -1 +1 @@
-Subproject commit c38b86b8b485c85181ab1bfc682fae194c8d4027
+Subproject commit 54737bd3675d54a795203bbd54a027e36119d233
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
index 51ff7241a4..f7ab148ace 160000
--- a/deps/parameterized-utils
+++ b/deps/parameterized-utils
@@ -1 +1 @@
-Subproject commit 51ff7241a4e96383b54513734bb2c3c6930435d5
+Subproject commit f7ab148ace220fb28ce7760552351f5f55f9db04
diff --git a/deps/saw-core b/deps/saw-core
index b9dd3d83d9..ed0d14aa85 160000
--- a/deps/saw-core
+++ b/deps/saw-core
@@ -1 +1 @@
-Subproject commit b9dd3d83d9cbef4ecd90344b503555d2f32a7349
+Subproject commit ed0d14aa85818be4eb258832115ed77348ea8846