progs/automata/enfa.sc
changeset 753 d94fdbef1a4f
parent 733 022e2cb1668d
child 779 5385c8342f02
--- a/progs/automata/enfa.sc	Tue Sep 01 16:00:37 2020 +0100
+++ b/progs/automata/enfa.sc	Wed Sep 02 23:34:19 2020 +0100
@@ -3,8 +3,6 @@
 import $file.dfa, dfa._ 
 import $file.nfa, nfa._ 
 
-
-
 // a fixpoint construction
 import scala.annotation.tailrec
 @tailrec