From f037713263e162fe5f286436d11bebc763d84680 Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Sun, 11 Feb 2024 13:49:14 -0800 Subject: [PATCH] Simplify --- Data/SBV/Control/Utils.hs | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/Data/SBV/Control/Utils.hs b/Data/SBV/Control/Utils.hs index a304ee9d..3b9ef5a9 100644 --- a/Data/SBV/Control/Utils.hs +++ b/Data/SBV/Control/Utils.hs @@ -382,11 +382,8 @@ getValue s = do outstandingAsserts <- do State{rOutstandingAsserts} <- queryState liftIO $ readIORef rOutstandingAsserts - if outstandingAsserts - then queryDebug ["[NOTE] getValue: There are outstanding asserts. Ensuring we're still sat."] - else queryDebug ["[NOTE] getValue: There are no outstanding asserts. Continuing with getValue."] - when outstandingAsserts $ do + queryDebug ["[NOTE] getValue: There are outstanding asserts. Ensuring we're still sat."] r <- checkSat let bad = unexpected "checkSat" "check-sat" "one of sat/unsat/unknown" Nothing (show r) Nothing case r of