diff -r 1f1a293549c1 -r 30ea6b01db46 progs/automata/enfa.sc
--- 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