Merge pull request #2133 from GaloisInc/bump-crucible

Bump crucible and what4 to sync crucible #1260
GaloisInc · Oct 21, 2024 · 0e1bba2 · 0e1bba2
2 parents d2fb176 + 92f29e1
commit 0e1bba2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/deps/crucible b/deps/crucible
diff --git a/deps/what4 b/deps/what4
diff --git 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 =