From ef0e71216f30453b93ae56c15ce7f330c30011e0 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Sat, 9 Apr 2016 03:17:29 +0200
Subject: [PATCH] Actually use refocused deferral in modal step
---
src/lib/CoAlgLogics.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/lib/CoAlgLogics.ml b/src/lib/CoAlgLogics.ml
index 2a738c5..c151b7f 100644
--- a/src/lib/CoAlgLogics.ml
+++ b/src/lib/CoAlgLogics.ml
@@ -66,7 +66,7 @@ let mkRuleList_MultiModalK sort bs defer sl : rule list =
(* if f1 = ∀R.D then bs1 = bs1 ∪ { D } *)
let nextf1 = (lfGetDest1 sort f1) in
bsetAdd bs1 nextf1;
- (if (bsetMem defer f1) &&
+ (if (bsetMem deferral f1) &&
(lfGetDeferral sort f1) = (lfGetDeferral sort nextf1) then
bsetAdd defer1 nextf1;)
else ()
--
GitLab