diff -r 598741d39d21 -r e28d7a327870 progs/nfa.scala
--- a/progs/nfa.scala	Sun May 07 00:20:58 2017 +0100
+++ b/progs/nfa.scala	Sun May 07 03:01:29 2017 +0100
@@ -85,4 +85,4 @@
 
 // subset constructions
 
-def subset(nfa: NFA[A, C]) : DFA[Set[A], C] =
+//def subset(nfa: NFA[A, C]) : DFA[Set[A], C] =