--- a/progs/enfa.scala	Tue May 09 12:31:55 2017 +0100
+++ b/progs/enfa.scala	Wed May 10 17:03:21 2017 +0100
@@ -1,5 +1,6 @@
 // epsilon NFAs...immediately translated into NFAs
-// (needs :load nfa.scala in REPL)
+// (needs :load dfa.scala 
+//        :load nfa.scala in REPL)
 
 // fixpoint construction
 import scala.annotation.tailrec