diff --git a/src/lib/CoAlgLogicUtils.ml b/src/lib/CoAlgLogicUtils.ml
index 698f7d959b36bb958792527aefec6dc9b07dfcda..99ab6370a835d4c98e7315ba141a6392cffa1f2e 100644
--- a/src/lib/CoAlgLogicUtils.ml
+++ b/src/lib/CoAlgLogicUtils.ml
@@ -94,7 +94,7 @@ let maxDisjoints sort (a: bset) : bset list =
     let tmpf : bset -> int -> bset =
         (fun bs f -> bsetAdd bs (lfFromInt f) ; bs)
     in
-    List.map (List.fold_left tmpf (bsetMakeRealEmpty ()))
+    List.map (fun x -> List.fold_left tmpf (bsetMakeRealEmpty ()) x)
              (List.map S.elements intlist)
 
 let string_of_coalition sort bs =