diff -r e66bd5c563eb -r b5b5583a3a08 progs/matcher/re3.sc
--- a/progs/matcher/re3.sc	Mon Jul 27 11:02:48 2020 +0100
+++ b/progs/matcher/re3.sc	Thu Jul 30 13:50:54 2020 +0100
@@ -96,19 +96,23 @@
 }
 
 
-//test: (a?{n}) (a{n})
+//
 @doc("Test (a?{n}) (a{n})")
 @main
 def test1() = {
+  println("Test (a?{n}) (a{n})")
+
   for (i <- 0 to 8000 by 1000) {
     println(f"$i: ${time_needed(3, matcher(EVIL1(i), "a" * i))}%.5f")
   }
 }  
 
-//test: (a*)* b
+//
 @doc("Test (a*)* b")
 @main
 def test2() = {
+  println("Test (a*)* b")
+
   for (i <- 0 to 6000000 by 500000) {
     println(f"$i: ${time_needed(3, matcher(EVIL2, "a" * i))}%.5f")
   }