From 22fef65cee83344bf41dbe6c7eb5db0368d87ae9 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Tue, 12 Apr 2016 15:02:13 +0200
Subject: [PATCH] Fixup for last commit
---
src/lib/CoAlgFormula.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/lib/CoAlgFormula.ml b/src/lib/CoAlgFormula.ml
index 1a6997f..4140781 100644
--- a/src/lib/CoAlgFormula.ml
+++ b/src/lib/CoAlgFormula.ml
@@ -262,9 +262,9 @@ let convertToMu formula =
| ER (f1, f2) ->
NU ("#ER#", (AND (f2, (OR (f1, (EX ("", (VAR "#ER#"))))))))
| AB (f1, f2) ->
- NOT (MU ("#AB#", (OR (f2, (AND ((NOT f1), (AX ("", (VAR "#AU#")))))))))
+ NOT (MU ("#AB#", (OR (f2, (AND ((NOT f1), (AX ("", (VAR "#AB#")))))))))
| EB (f1, f2) ->
- NOT (MU ("#EB#", (OR (f2, (AND ((NOT f1), (EX ("", (VAR "#EU#")))))))))
+ NOT (MU ("#EB#", (OR (f2, (AND ((NOT f1), (EX ("", (VAR "#EB#")))))))))
| _ -> formula
in
convert_post helper formula
--
GitLab