# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1670534913 0
# Node ID 71cbc465990c335d03f645623e9802860092cd2d
# Parent  44f88dd6646314f9835300aa4f4de3d17a662268
updated

diff -r 44f88dd66463 -r 71cbc465990c main_testing3/re_test.sh
--- a/main_testing3/re_test.sh	Thu Dec 08 17:53:08 2022 +0000
+++ b/main_testing3/re_test.sh	Thu Dec 08 21:28:33 2022 +0000
@@ -105,7 +105,7 @@
 then
   echo -e " der('a', ZERO | ONE) == (ZERO | ZERO)" >> $out
   echo -e " der('a', (CHAR('a') | ONE) ~ CHAR('a')) ==" >> $out
-  echo -e "                 ALT((ONE | ZERO) ~ CHAR('a'), ONE)" >> $out
+  echo -e "                 ALT((ONE | ZERO) ~ CHAR('a'), SEQs(List(ONE)))" >> $out
   echo -e " der('a', (CHAR('a') | CHAR('a')) ~ CHAR('a')) == (ONE | ONE) ~ CHAR('a')" >> $out
   echo -e " der('a', STAR(CHAR('a'))) == (ONE ~ STAR(CHAR('a')))" >> $out
   echo -e " der('b', STAR(CHAR('a'))) == (ZERO ~ STAR(CHAR('a')))" >> $out