diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index dd26d8534eb2b3e8b5a510c2d3da7cabbb62037d..75de2ac2f01c23d56890a322926fd4cd3ddb5e68 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -27,11 +27,12 @@ let propSatFindSucc setCnstr cset =
   if csetHasDot cset then false
   else
     match graphFindCnstr cset with
-      | None -> raise (ReasonerError "?")
-      | Some SatC -> true
-      | Some (OpenC _) -> setMemCnstr setCnstr cset
-      | Some (UnexpandedC _)
-      | Some UnsatC -> false
+    | None -> raise (ReasonerError "?")
+    | Some SatC -> true
+    | Some (OpenC _) -> setMemCnstr setCnstr cset
+    | Some (UnexpandedC _)
+    | Some UnsatC -> false
+
 
 let rec propSat setStates setCores setCnstr = function
   | [] -> ()