diff -r 284ac979f289 -r dca072e2bb7d progs/matcher/re3.sc
--- a/progs/matcher/re3.sc	Fri Feb 26 08:47:18 2021 +0000
+++ b/progs/matcher/re3.sc	Thu May 13 13:10:38 2021 +0100
@@ -35,7 +35,7 @@
 }
 
 // the derivative of a regular expression w.r.t. a character
-def der (c: Char, r: Rexp) : Rexp = r match {
+def der(c: Char, r: Rexp) : Rexp = r match {
   case ZERO => ZERO
   case ONE => ZERO
   case CHAR(d) => if (c == d) ONE else ZERO
@@ -97,7 +97,7 @@
 
 
 //
-@doc("Test (a?{n}) (a{n})")
+//@doc("Test (a?{n}) (a{n})")
 @main
 def test1() = {
   println("Test (a?{n}) (a{n})")
@@ -108,7 +108,7 @@
 }  
 
 //
-@doc("Test (a*)* b")
+//@doc("Test (a*)* b")
 @main
 def test2() = {
   println("Test (a*)* b")
@@ -173,4 +173,4 @@
   for (i <- 0 to 35 by 5) {
     println(f"$i: ${time_needed(1, matcher(EVIL4, "a" * i))}%.5f")
   }
-}
\ No newline at end of file
+}