--- 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