From a667a9ef0627406eb096dd5758061f3ab1f0bd9c Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Mon, 19 Aug 2024 11:43:00 +0200 Subject: [PATCH] Do not run the command the second time --- booster/library/Booster/SMT/Interface.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/booster/library/Booster/SMT/Interface.hs b/booster/library/Booster/SMT/Interface.hs index 8946ab67fc..03897a96e5 100644 --- a/booster/library/Booster/SMT/Interface.hs +++ b/booster/library/Booster/SMT/Interface.hs @@ -170,7 +170,7 @@ runPrelude doCheck = do mapM_ runCmd ctxt.prelude -- optionally check the prelude for consistency when (coerce doCheck) $ do - check <- mapM_ runCmd ctxt.prelude >> runCmd CheckSat + check <- runCmd CheckSat case check of Sat -> pure () other -> do