diff -r 2abd285c66d1 -r 180600c04da2 progs/re3.scala
--- a/progs/re3.scala	Thu Oct 03 11:12:00 2019 +0100
+++ b/progs/re3.scala	Fri Oct 04 11:21:30 2019 +0100
@@ -1,6 +1,6 @@
 // A version with simplification of derivatives;
 // this keeps the regular expressions small, which
-// is good for run-time
+// is good for the run-time
  
 
 abstract class Rexp
@@ -65,7 +65,8 @@
 
 
 // the main matcher function
-def matcher(r: Rexp, s: String) : Boolean = nullable(ders(s.toList, r))
+def matcher(r: Rexp, s: String) : Boolean = 
+  nullable(ders(s.toList, r))
 
 
 // one or zero