From a08fbced3021f1a3b9257b21517a7e5ced9fb250 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?=
<re06huxa@stud.informatik.uni-erlangen.de>
Date: Fri, 10 Jan 2014 14:45:20 +0100
Subject: [PATCH] Let it compile even if mkRule_CL is not ready
---
CoAlgLogics.ml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/CoAlgLogics.ml b/CoAlgLogics.ml
index 14d8d64..a7d10c3 100644
--- a/CoAlgLogics.ml
+++ b/CoAlgLogics.ml
@@ -170,6 +170,8 @@ let mkRule_CL sort bs sl =
C_i pairwise disjoint and I maximal
}
*)
+ (* just do this to let it compile... *)
+ mkRule_MultiModalK sort bs sl
let mkRule_Choice sort bs sl =
assert (List.length sl = 2);
--
GitLab