Fix typo in propagateUnsatMu function name

src/lib/CoAlgReasoner.ml

@@ -411,7 +411,7 @@ let rec propagateUnsat = function
       in
       propagateUnsat tl1
 
-let propateUnsatMu () =
+let propagateUnsatMu () =
   let setFinishingStates = setEmptyState () in
   let setFinishingCores = setEmptyCore () in
   let setStates = setEmptyState () in