diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index 971c59af5c9e1ad811069e83e960e9f5bd8cc73a..93d7761cf373917a2f9d15ab37a04a9ae56ce3d1 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -135,7 +135,7 @@ let propagateSatMu () =
     | Unsat -> ()
     | Sat ->
        setAddState setStates state;
-      setAddState setFinishingStates state
+       setAddState setFinishingStates state
     | Expandable -> ()
     | Open ->
        openstates := !openstates + 1;
@@ -165,11 +165,11 @@ let propagateSatMu () =
     | Expandable
     | Open ->
        setAddCore setCores core;
-      if bsetCompare (coreGetDeferral core) emptySet == 0
-      then begin
-        setAddCore setFinishingCores core
-      end
-      else ()
+       if bsetCompare (coreGetDeferral core) emptySet == 0
+       then begin
+         setAddCore setFinishingCores core
+       end
+       else ()
   in
   graphIterStates stateCollector;
   graphIterCores coreCollector;