
diff -r 43c0ed473720 -r a65767fe5d71 slides/slides05.tex
--- a/slides/slides05.tex	Sun Nov 15 21:31:31 2015 +0000
+++ b/slides/slides05.tex	Mon Nov 16 15:16:17 2015 +0000
@@ -1038,7 +1038,7 @@
 \frametitle{While-Language}
 \mbox{}\\[-23mm]\mbox{}
 
-\bl{\begin{plstx}[rhs style=,one per line]
: \meta{Stmt} ::= skip
+\bl{\begin{plstx}[rhs style=,one per line]: \meta{Stmt} ::= skip
          | \meta{Id} := \meta{AExp}
          | if \meta{BExp} then \meta{Block} else \meta{Block}
          | while \meta{BExp} do \meta{Block}\\
@@ -1047,7 +1047,7 @@
 : \meta{Block} ::= \{ \meta{Stmts} \}
           | \meta{Stmt}\\
 : \meta{AExp} ::= \ldots\\
-: \meta{BExp} ::= \ldots\\
\end{plstx}}
+: \meta{BExp} ::= \ldots\\\end{plstx}}
 
 \end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   




