diff -r 7a0735db4788 -r b73e7ce91c10 main_testing3/re_test.sh
--- a/main_testing3/re_test.sh	Mon Nov 14 12:04:21 2022 +0000
+++ b/main_testing3/re_test.sh	Thu Nov 17 11:34:50 2022 +0000
@@ -200,7 +200,7 @@
 if [ $tsts -eq 0 ]
 then
   echo -e " val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))" >> $out
-  echo -e " ders(\"aaaaa\".toList, EVIL) == SEQ(SEQ(STAR(CHAR('a')),STAR(STAR(CHAR('a')))),CHAR('b'))" >> $out
+  echo -e " ders(\"aaaaa\".toList, EVIL) == SEQs(List(STAR(CHAR('a')), STAR(STAR(CHAR('a'))), CHAR('b')))" >> $out
   echo -e " ders(List('b'), EVIL) == ONE" >> $out
   echo -e " ders(\"bb\".toList, EVIL) == ZERO" >> $out
   echo -e " matcher(EVIL, \"a\" * 5 ++ \"b\") == true" >> $out