First set timeout, then check prelude (#3962)

runtimeverification · Jun 26, 2024 · 81762ef · 81762ef
1 parent 59a999a
commit 81762ef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/booster/library/Booster/SMT/Interface.hs b/booster/library/Booster/SMT/Interface.hs
@@ -89,9 +89,9 @@ initSolver def smtOptions = Log.withContext Log.CtxSMT $ do
     ctxt <- mkContext smtOptions prelude
 
     evalSMT ctxt $ do
-        checkPrelude
         -- set timeout value for the general queries
         runCmd_ $ SetTimeout smtOptions.timeout
+        checkPrelude
     Log.logMessage ("Successfully initialised SMT solver with " <> (Text.pack . show $ smtOptions))
     pure ctxt