less hopcroft

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