cws/cw03.tex
changeset 159 92c31cbb1952
parent 158 94b11ac19b41
child 163 84917f2e16cd
--- a/cws/cw03.tex	Mon Nov 27 01:15:36 2017 +0000
+++ b/cws/cw03.tex	Tue Nov 28 20:37:57 2017 +0000
@@ -594,7 +594,7 @@
                      \\\hline   
       \hfill\texttt{']'} & \begin{tabular}[t]{@{}l@{\hspace{2mm}}l@{}}
                        \multicolumn{2}{@{}l}{if \texttt{mem(mp) != 0} then}\\
-                       $\bullet$ & $\texttt{pc = jumpLeft(prog, pc - 1 1, 0)}$\\
+                       $\bullet$ & $\texttt{pc = jumpLeft(prog, pc - 1, 0)}$\\
                        $\bullet$ & $\texttt{mp}$ and \texttt{mem} unchanged\medskip\\
                        \multicolumn{2}{@{}l}{otherwise if \texttt{mem(mp) == 0} then}\\
                        $\bullet$ & $\texttt{pc} + 1$\\