# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1511901477 0
# Node ID 92c31cbb1952ae8acbbed3dedd8d44fcb9718334
# Parent  94b11ac19b41a6cdaefb620a472168c24c36ba59
typo

diff -r 94b11ac19b41 -r 92c31cbb1952 cws/cw03.pdf
Binary file cws/cw03.pdf has changed
diff -r 94b11ac19b41 -r 92c31cbb1952 cws/cw03.tex
--- 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$\\