diff -r 652065f55d54 -r 4642e2073808 progs/nfa.scala
--- a/progs/nfa.scala	Thu Oct 10 10:43:03 2019 +0100
+++ b/progs/nfa.scala	Thu Oct 10 21:04:38 2019 +0100
@@ -89,3 +89,4 @@
 subset(nfa1).accepts("aaaaabbb".toList)       // true
 subset(nfa1).accepts("aaaaabbbaaa".toList)    // false
 subset(nfa1).accepts("ac".toList)             // false
+