diff -r e66bd5c563eb -r b5b5583a3a08 progs/automata/thompson.sc
--- a/progs/automata/thompson.sc	Mon Jul 27 11:02:48 2020 +0100
+++ b/progs/automata/thompson.sc	Thu Jul 30 13:50:54 2020 +0100
@@ -171,7 +171,7 @@
 // construction), in general the DFAs can be slow because of 
 // the state explosion in the subset construction
 
-for (i <- 1 to 13) {
+for (i <- 1 to 7) {
   println(i + ": " + "%.5f".format(time_needed(2, tmatches_dfa(EVIL1(i), "a" * i))))
 }