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