浏览代码

begin fits on the same line

Jeremy Siek 2 周之前
父节点
当前提交
b4e30eeca8
共有 1 个文件被更改,包括 2 次插入2 次删除
  1. 2 2
      book.tex

+ 2 - 2
book.tex

@@ -13023,8 +13023,8 @@ translation of tuple creation\index{subject}{Lalloc@\LangAlloc{}}.
 %%    \Stmt &::= & \CASSIGN{\CPUT{\Exp}{\itm{int}}}{\Exp}
 %% \end{array}
 \begin{array}{rcl}
-  \Exp &::=&  \GLOBALVALUE{\Var} \MID \ALLOCATE{\Int}{\Type} \\
-       &\MID& \BEGIN{\Stmt^{*}}{\Exp}\\
+  \Exp &::=&  \GLOBALVALUE{\Var} \MID \ALLOCATE{\Int}{\Type} 
+       \MID \BEGIN{\Stmt^{*}}{\Exp}\\
   \Stmt{} &::=& \COLLECT{\Int} 
           \MID \ASSIGN{\PUT{\Exp}{\itm{int}}}{\Exp} 
 \end{array}