From 87926e982334a9b040db42b91ef17878d241a5b6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Thu, 30 Jan 2014 14:04:06 +0100
Subject: [PATCH] Compute NNF of morethan correctly
---
CoAlgFormula.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/CoAlgFormula.ml b/CoAlgFormula.ml
index 5fb3292..d735dee 100644
--- a/CoAlgFormula.ml
+++ b/CoAlgFormula.ml
@@ -628,7 +628,7 @@ and nnf f =
if n = 0 then TRUE
else
let ft = nnf f1 in
- MORETHAN (n-1,s,f1)
+ MORETHAN (n-1,s,ft)
| MAX (n, s, f1) ->
let ft = nnfNeg f1 in
MAXEXCEPT (n,s, ft)
--
GitLab