diff -r 99c5916d9a8f -r 7dc3643a0cc5 progs/matcher/re1.sc
--- a/progs/matcher/re1.sc	Mon Aug 17 17:42:37 2020 +0100
+++ b/progs/matcher/re1.sc	Sun Aug 23 23:44:44 2020 +0100
@@ -7,7 +7,7 @@
 // or 
 //
 //   amm re1.sc all
-
+ 
 // regular expressions
 abstract class Rexp
 case object ZERO extends Rexp                    // matches nothing