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 =