# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1670534913 0
# Node ID 08cd972b219f0ea434ff9c4c7b82891d5307c40a
# Parent  4772b61667207368962f1ffe57c366763139d49a
updated

diff -r 4772b6166720 -r 08cd972b219f 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