Simplify

LeventErkok · Feb 11, 2024 · f037713 · f037713
1 parent 81fe86c
commit f037713
Showing 1 changed file with 1 addition and 4 deletions.
diff --git 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