--- a/slides/slides09.tex	Mon Nov 24 00:42:04 2014 +0000
+++ b/slides/slides09.tex	Mon Nov 24 09:06:27 2014 +0000
@@ -31,7 +31,7 @@
 \makeatother
 
 
-% beamer stuff 
+% beamer stuff
 \renewcommand{\slidecaption}{AFL 09, King's College London}
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}       
 
@@ -331,7 +331,7 @@
 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none]
 .method public static suc(I)I 
 .limit locals 1
-.limit stack
+.limit stack 3
   iload 0
   ldc 1
   iadd
@@ -364,7 +364,7 @@
 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none]
 .method public static add(II)I 
 .limit locals 2
-.limit stack 4
+.limit stack 6
   iload 0
   ldc 0
   if_icmpne If_else_2
@@ -409,7 +409,7 @@
 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none]
 .method public static facT(II)I 
 .limit locals 2
-.limit stack 4
+.limit stack 6
   iload 0
   ldc 0	
   if_icmpne If_else_2
@@ -454,7 +454,7 @@
 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none, escapeinside={(*@}{@*)}]
 .method public static facT(II)I 
 .limit locals 2
-.limit stack 4
+.limit stack 7
 (*@\hl{facT\_Start:} @*)
   iload 0
   ldc 0