diff -r a6a6bf32fade -r 4629448c1bd9 slides/slides09.tex
--- a/slides/slides09.tex	Fri Nov 20 02:23:24 2015 +0000
+++ b/slides/slides09.tex	Mon Nov 23 16:45:07 2015 +0000
@@ -126,7 +126,7 @@
 
 For example
 
-\begin{lstlisting}[mathescape,numbers=none,language={}]
+\begin{lstlisting}[mathescape,numbers=none,language=While]
 if 1 = 1 then x := 2 else y := 3
 \end{lstlisting}
 
@@ -160,7 +160,7 @@
 
 For example
 
-\begin{lstlisting}[mathescape,numbers=none,language={}]
+\begin{lstlisting}[mathescape,numbers=none,language=While]
 while x <= 10 do x := x + 1
 \end{lstlisting}
 
@@ -566,7 +566,7 @@
 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none, escapeinside={(*@}{@*)}]
 .method public static facT(II)I 
 .limit locals 2
-.limit stack 7
+.limit stack 6
 (*@\hl{facT\_Start:} @*)
   iload 0
   ldc 0