diff --git a/coalg.ml b/coalg.ml
index 829cb8b4f7e0a88004255b2577fee93869d66722..c5200e3a4a90994b94fbfada55a0651f5b4aeb10 100644
--- a/coalg.ml
+++ b/coalg.ml
@@ -53,6 +53,7 @@ let parseFunctor str =
     match str with
     | "K" -> CM.MultiModalK
     | "KD" -> CM.MultiModalKD
+    | "CL" -> CM.CoalitionLogic
     | "MultiModalK" -> CM.MultiModalK
     | "MultiModalKD" -> CM.MultiModalKD
     | "CoalitionLogic" -> CM.CoalitionLogic