diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index f24d02fe8026478e16fec68d45e131a54d7fede5..1a878489be056ea368555978c3b95aaede8467b7 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -148,7 +148,7 @@ let propagateSatMu () =
     | Unsat -> ()
     | Sat ->
        setAddCore setSatCores core
-    | Expandable -> ()
+    | Expandable
     | Open ->
        setAddCore setCores core;
        if bsetCompare (coreGetDeferral core) emptySet == 0