--- a/cws/main_cw05.tex Mon Jan 03 00:59:32 2022 +0000
+++ b/cws/main_cw05.tex Sun Jan 09 01:06:30 2022 +0000
@@ -470,7 +470,7 @@
implement this command by writing 0 to \pcode{mem(mp)}, that is use
\pcode{write(mem, mp, 0)} as the rule for the command \texttt{0}.
The easiest way to modify a string in this way is to use the regular
- expression \pcode{"""[^<>+-.\\[\\]]"""}, which recognises everything that is
+ expression \pcode{"""[^<>+\\-.\\[\\]]"""}, which recognises everything that is
not a bf-command. Similarly, the
regular expression \pcode{"""\\[-\\]"""} finds all occurrences of \pcode{[-]}. By using the Scala method \pcode{.replaceAll} you can replace substrings
with new strings.\\