--- 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")