updates

[msc-thesis1617.git] / pres.system.tex

diff --git a/pres.system.tex b/pres.system.tex
index 84b9b1e..63b8e05 100644 (file)
--- a/pres.system.tex
+++ b/pres.system.tex
@@ -54,7 +54,7 @@ tell2 x = BC (tell x)
 
 instance arith ByteCode where
        lit x = tell2 [BCPush (BCValue x)]
-       (+.) x y = op2 x y BCDiv
+       (+.) x y = op2 x y BCAdd
        ...
        \end{lstlisting}
 \end{frame}