From 125f9a6fc62f0775ed172bd41478ef1c1799d7da Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Fri, 19 Jul 2024 09:09:36 -0400
Subject: [PATCH] Bump submodules to bring in changes from
 GaloisInc/crucible#1225 (#2078)

This bumps the `crucible` submodule to bring in the changes from
GaloisInc/crucible#1225, which fixes GaloisInc/crucible#1224 on the SAW side.
This also requires bumping the `cryptol`, `macaw`, and `what4` submodules in
order to construct a consistent build plan with the latest `crucible`.
---
 deps/crucible | 2 +-
 deps/cryptol  | 2 +-
 deps/macaw    | 2 +-
 deps/what4    | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/deps/crucible b/deps/crucible
index ac948b4363..8cc5e175be 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit ac948b4363745e10e2226c843339bad16bf198fa
+Subproject commit 8cc5e175be47de6f3d74348f6ec6e93e2598386d
diff --git a/deps/cryptol b/deps/cryptol
index 784bbaafc6..c6b4209816 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 784bbaafc60971dc3af187e8165c36c821cc5ffe
+Subproject commit c6b4209816c0563660ba0743181829faa6a09bcf
diff --git a/deps/macaw b/deps/macaw
index 9d8cdcc587..83d3907054 160000
--- a/deps/macaw
+++ b/deps/macaw
@@ -1 +1 @@
-Subproject commit 9d8cdcc58746f65dde96118162ad3ad6c6c845bb
+Subproject commit 83d3907054181b17be365bdea9abb25edd48aae3
diff --git a/deps/what4 b/deps/what4
index 8c9401b5d2..494ac6416e 160000
--- a/deps/what4
+++ b/deps/what4
@@ -1 +1 @@
-Subproject commit 8c9401b5d21d20451d224d4834bd611fc83b850b
+Subproject commit 494ac6416ed01eab6ae5d1be427d0aaae4c4bb91