
diff -r a2d792ed768e -r df229ec49b22 slides/slides09.tex
--- a/slides/slides09.tex	Wed Oct 23 07:28:23 2013 +0100
+++ b/slides/slides09.tex	Fri Oct 25 14:13:27 2013 +0100
@@ -517,7 +517,7 @@
 \begin{frame}[t]
 \frametitle{\begin{tabular}{c}Compiling Ifs\end{tabular}}
 
-{\Large\bl{$\text{if}\;b\;\text{else}\;cs_1\;\text{then}\;cs_2$}}\bigskip\bigskip
+{\Large\bl{$\text{if}\;b\;\text{then}\;cs_1\;\text{else}\;cs_2$}}\bigskip\bigskip
 
 \onslide<2->{Case }\only<2>{{\bf True}:}\only<3>{{\bf False}:}
 




