--- a/progs/nfa.scala	Tue May 09 12:31:55 2017 +0100
+++ b/progs/nfa.scala	Wed May 10 17:03:21 2017 +0100
@@ -1,15 +1,7 @@
 // NFAs in Scala using partial functions (returning
 // sets of states)
-import scala.util.Try
-
-// states class
-abstract class State
-case object Q0 extends State
-case object Q1 extends State
-case object Q2 extends State
-case object Q3 extends State
-case object Q4 extends State
-
+//
+// needs :load dfa.scala   for states
 
 
 // type abbreviation for partial functions