From 92f29e17137c01c59342bd0dbe60ce17d1a95b23 Mon Sep 17 00:00:00 2001
From: David Holland <dholland@galois.com>
Date: Wed, 16 Oct 2024 20:04:09 -0400
Subject: [PATCH] Bump crucible and what4 to merge crucible #1260.

This is a cleanup change that breaks the API (though in a minor way)
so we want to keep up with it. Apply the one-line fix to adjust to
that change.

Update what4 as well because crucible requires it.
---
 deps/crucible                          | 2 +-
 deps/what4                             | 2 +-
 src/SAWScript/Crucible/MIR/Builtins.hs | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/deps/crucible b/deps/crucible
index 5c92113f99..2fb1c26a3c 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit 5c92113f996f8ec2ceb0949240dee0a8b3501e9f
+Subproject commit 2fb1c26a3cd4562d90a51956925363a0b40f50ed
diff --git a/deps/what4 b/deps/what4
index 494ac6416e..038e948817 160000
--- a/deps/what4
+++ b/deps/what4
@@ -1 +1 @@
-Subproject commit 494ac6416ed01eab6ae5d1be427d0aaae4c4bb91
+Subproject commit 038e948817b092ac7750e073f1d430ee293f3c20
diff --git a/src/SAWScript/Crucible/MIR/Builtins.hs b/src/SAWScript/Crucible/MIR/Builtins.hs
index b09297a485..e38ea187a9 100644
--- a/src/SAWScript/Crucible/MIR/Builtins.hs
+++ b/src/SAWScript/Crucible/MIR/Builtins.hs
@@ -534,7 +534,7 @@ mir_load_module inputFile = do
 
    withImplicitParams opts $ do
      col <- io $ Mir.parseMIR inputFile b
-     io $ Mir.translateMIR mempty col halloc
+     io $ Mir.translateMIR col halloc
 
 mir_return :: SetupValue -> MIRSetupM ()
 mir_return retVal =