slides08.tex
changeset 76 373cf55a3ca5
parent 70 e6868bd2942b
--- a/slides08.tex	Fri Nov 23 21:21:27 2012 +0000
+++ b/slides08.tex	Sat Nov 24 07:08:51 2012 +0000
@@ -629,7 +629,7 @@
               & $|$ & $Id := AExp$\\
               & $|$ & $\text{if}\; B\!Exp \;\text{then}\; Block \;\text{else}\; Block$\\
               & $|$ & $\text{while}\; B\!Exp \;\text{do}\; Block$\medskip\\
-$Stmt$ & $\rightarrow$ &  $Stmt \;\text{;}\; Stmts$\\
+$Stmts$ & $\rightarrow$ &  $Stmt \;\text{;}\; Stmts$\\
               & $|$ & $Stmt$\medskip\\
 $Block$ & $\rightarrow$ &  $\{ Stmts \}$\\
                 & $|$ & $Stmt$\medskip\\