diff -r 739039774cee -r 94b84d880c2b progs/matcher/re4.sc
--- a/progs/matcher/re4.sc	Mon Jan 24 00:14:02 2022 +0000
+++ b/progs/matcher/re4.sc	Tue Mar 22 00:36:18 2022 +0000
@@ -106,7 +106,7 @@
 }
 
 
-@arg(doc = "Test (a?{n}) (a{n})")
+//@arg(doc = "Test (a?{n}) (a{n})")
 @main
 def test1() = {
   for (i <- 0 to 11000 by 1000) {
@@ -114,7 +114,7 @@
   }
 }
 
-@arg(doc = "Test (a*)* b")
+//@arg(doc = "Test (a*)* b")
 @main
 def test2() = {
   for (i <- 0 to 7000000 by 500000) {
@@ -122,7 +122,7 @@
   }
 } 
 
-@arg(doc = "All tests.")
+//@arg(doc = "All tests.")
 @main
 def all() = { test1(); test2() }