From 920df71c72ae3d4851cd53d883aa25f0659a9da7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Fri, 17 Jan 2014 18:35:03 +0100
Subject: [PATCH] Allow CL als functor name for coalg

---
 coalg.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coalg.ml b/coalg.ml
index 829cb8b..c5200e3 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
-- 
GitLab