diff -r 703c7e42bf46 -r 24bc76d97db2 marking4/re_test.sh
--- a/marking4/re_test.sh	Wed Feb 05 12:24:27 2020 +0000
+++ b/marking4/re_test.sh	Fri Apr 10 12:12:48 2020 +0100
@@ -171,7 +171,7 @@
   echo -e " matcher(EVIL, \"b\") == true" | tee -a $out
   echo -e " matcher(EVIL, \"bb\") == false" | tee -a $out
   echo -e " matcher(\"abc\", \"abc\") == true" | tee -a $out
-  echo -e " matcher(\"abc\", \"ab\") == true" | tee -a $out
+  echo -e " matcher(\"abc\", \"ab\") == false" | tee -a $out
   echo -e " matcher((\"ab\" | \"a\") ~ (ONE | \"bc\"), \"abc\") == true" | tee -a $out
   echo -e " matcher(ONE, \"\") == true" | tee -a $out
   echo -e " matcher(ZERO, \"\") == false" | tee -a $out