Remove bv/vec conversions from default rewritingSharedContext.

brianhuffman · brianhuffman · commit 08050c7cf19b · 2025-10-24T10:11:49.000-07:00
diff --git a/saw-script/src/SAWScript/Interpreter.hs b/saw-script/src/SAWScript/Interpreter.hs
@@ -1073,8 +1073,6 @@ buildTopLevelEnv proxy opts scriptArgv =
        CryptolSAW.scLoadCryptolModule sc0
        scLoadModule sc0 (emptyModule mn)
        let convs = natConversions
-                   ++ bvConversions
-                   ++ vecConversions
        simps <- scSimpset sc0 [] [] convs
        let sc = rewritingSharedContext sc0 simps
        ss <- basic_ss sc
