diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index ab63f46c81f10ccb5e4f8eaced297e205edc7304..efb958d41148f8f3f082b61ec99758bb07358af4 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -1049,7 +1049,7 @@ let isRootSat () =
   match coreGetStatus (graphGetRoot ()) with
   | Expandable -> None
   | Unsat -> Some false
-  | Sat -> if (queueIsEmpty()) then Some true else None
+  | Sat -> Some true
   | Open -> if (queueIsEmpty()) then Some false else None
 
 let reasonerFinished () =