slides/slides07.tex
changeset 810 ba25eaf6043c
parent 808 ba3edaf7dc49
child 811 86406d70d6f0
--- a/slides/slides07.tex	Tue Nov 24 21:22:31 2020 +0000
+++ b/slides/slides07.tex	Wed Nov 25 23:53:11 2020 +0000
@@ -593,7 +593,7 @@
 For example
 
 \begin{lstlisting}[mathescape,numbers=none,language=While]
-if 1 = 1 then x := 2 else y := 3
+if 1 == 1 then x := 2 else y := 3
 \end{lstlisting}
 
 
@@ -627,11 +627,11 @@
 \begin{frame}[t]
 \frametitle{Compiling BExps}
 
-{\Large\bl{$a_1 = a_2$}}
+{\Large\bl{$a_1 == a_2$}}
 
 \begin{center}
 \bl{\begin{tabular}{lcl}
-$\text{compile}(a_1 = a_2, E, lab)$ & $\dn$\\ 
+$\text{compile}(a_1 == a_2, E, lab)$ & $\dn$\\ 
 \multicolumn{3}{l}{$\quad\text{compile}(a_1, E) \;@\;\text{compile}(a_2, E)\;@\; \text{if\_icmpne}\;lab$}
 \end{tabular}}
 \end{center}