summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Lib.hs3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Lib.hs b/src/Lib.hs
index 7bd27d2..56ccbd3 100644
--- a/src/Lib.hs
+++ b/src/Lib.hs
@@ -35,8 +35,7 @@ automatize dir (QNMFormula (Neg : quas) m) =
let nfa = automatize dir (QNMFormula quas m)
in minReachability (length dir) (ncompl nfa)
where
- md dfa = minDistinguishability dfa (length dir)
- ncompl = nondeterminize . compl . md . determinize
+ ncompl = nondeterminize . compl . determinize
automatize dir (QNMFormula (Qua (Exists, v) : quas) m) =
let nfa = automatize dir (QNMFormula quas m)
in case M.lookup (Var v) dir of