--- a/progs/matcher/re1.sc	Mon Sep 25 13:14:34 2023 +0100
+++ b/progs/matcher/re1.sc	Mon Sep 25 15:12:11 2023 +0100
@@ -76,7 +76,7 @@
 // the optional regular expression (one or zero times)
 def OPT(r: Rexp) = ALT(r, ONE)   // r + 1
 
-// the n-times regular expression (explicitly expanded)
+// the n-times regular expression (explicitly expanded to SEQs)
 def NTIMES(r: Rexp, n: Int) : Rexp = n match {
   case 0 => ONE
   case 1 => r