whitespace

book.tex

@@ -907,7 +907,7 @@ defined in Figure~\ref{fig:r0-concrete-syntax}.
 }
 \newcommand{\LintGrammarPython}{
 \begin{array}{rcl}
-  \Exp &::=& \Int \MID \key{input\_int}\LP\RP \MID \key{-}\;\Exp \MID \Exp \; \key{+} \; \Exp \MID \Exp \; \key{-} \; \Exp  \MID \LP\Exp\RP\\
+  \Exp &::=& \Int \MID \key{input\_int}\LP\RP \MID \key{-}\;\Exp \MID \Exp \; \key{+} \; \Exp \MID \Exp \; \key{-} \; \Exp \MID \LP\Exp\RP \\
   \Stmt &::=& \key{print}\LP \Exp \RP \MID \Exp
 \end{array}
 }