diff -r 284ac979f289 -r dca072e2bb7d progs/matcher/re2.sc
--- a/progs/matcher/re2.sc	Fri Feb 26 08:47:18 2021 +0000
+++ b/progs/matcher/re2.sc	Thu May 13 13:10:38 2021 +0100
@@ -32,7 +32,7 @@
 }
 
 
-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
@@ -45,7 +45,7 @@
     if (n == 0) ZERO else SEQ(der(c, r), NTIMES(r, n - 1))
 }
 
-def ders (s: List[Char], r: Rexp) : Rexp = s match {
+def ders(s: List[Char], r: Rexp) : Rexp = s match {
   case Nil => r
   case c::s => ders(s, der(c, r))
 }
@@ -143,4 +143,4 @@
 
 @doc("All tests.")
 @main
-def all() = { test1(); test2() } 
\ No newline at end of file
+def all() = { test1(); test2() }