Remove bad hardResetSolver

runtimeverification · Aug 2, 2024 · 30cf5fd · 30cf5fd
1 parent 94c27ad
commit 30cf5fd
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/booster/library/Booster/SMT/Interface.hs b/booster/library/Booster/SMT/Interface.hs
@@ -527,7 +527,6 @@ isSat ctxt psToCheck
     solve smtToCheck transState = solve'
       where
         solve' = do
-            lift $ hardResetSolver ctxt.options
             Log.getPrettyModifiers >>= \case
                 ModifiersRep (_ :: FromModifiersT mods => Proxy mods) ->
                     Log.logMessage . Pretty.renderOneLineText $