main_testing3/re_test.sh
changeset 456 d076cb2e0b75
parent 455 557d18cce0f0
child 463 0315d9983cd0
--- a/main_testing3/re_test.sh	Sat Dec 17 12:42:49 2022 +0000
+++ b/main_testing3/re_test.sh	Fri Dec 23 16:52:34 2022 +0000
@@ -185,7 +185,7 @@
     echo -e " SEQs_smart(List(ONE ~ ONE)) == ONE ~ ONE" >> $out
     echo -e " SEQs_smart(List(ONE, ONE)) == SEQs(List(ONE, ONE))" >> $out
     echo -e " ALTs_smart(Nil) == ZERO" >> $out
-    echo -e " ALTs_smart(List(ONE ~ ONE)) == ONE ~ ONE)" >> $out
+    echo -e " ALTs_smart(List(ONE ~ ONE)) == ONE ~ ONE" >> $out
     echo -e " ALTs_smart(List(ZERO, ZERO)) == ALTs(List(ZERO, ZERO))" >> $out
   
   if (scala_assert "re.scala" "re_test6.scala")