handouts/ho08.tex
changeset 600 d488a3e7b0ec
parent 492 39b7ff2cf1bc
child 603 155430aea517
--- a/handouts/ho08.tex	Mon Nov 12 11:33:51 2018 +0000
+++ b/handouts/ho08.tex	Tue Nov 13 08:16:48 2018 +0000
@@ -60,8 +60,8 @@
 
 
 \begin{plstx}[rhs style=,margin=1.5cm]
-: \meta{Exp} ::= \meta{Id} | \meta{Num} {\hspace{3cm}}
-             |   \meta{Exp} + \meta{Exp} | ... | (\meta{Exp})
+: \meta{Exp} ::= \meta{Id} | \meta{Num} {\hspace{3.7cm}}
+             |   \meta{Exp} + \meta{Exp} | ... | (\meta{Exp}) {\hspace{3.7cm}}
              |   \code{if} \meta{BExp} \code{then} \meta{Exp} \code{else} \meta{Exp}
              |   \code{write} \meta{Exp} {\hspace{5cm}}
              |   \meta{Exp} ; \meta{Exp}  {\hspace{5cm}}