missing cc=ne, duplicate Lmon_if

book.tex

@@ -7379,7 +7379,7 @@ $\Atm$.
   \itm{bytereg} &::=& \key{ah} \MID \key{al} \MID \key{bh} \MID \key{bl}
     \MID \key{ch} \MID \key{cl} \MID \key{dh} \MID \key{dl} \\
 \Arg &::=& \gray{ \key{\$}\Int \MID \key{\%}\Reg \MID \Int\key{(}\key{\%}\Reg\key{)} } \MID \key{\%}\itm{bytereg}\\
-\itm{cc} & ::= & \key{e} \MID \key{l} \MID \key{le} \MID \key{g} \MID \key{ge} \\
+\itm{cc} & ::= & \key{e} \MID \key{ne} \MID \key{l} \MID \key{le} \MID \key{g} \MID \key{ge} \\
 \Instr &::=& \gray{ \key{addq} \; \Arg\key{,} \Arg \MID
       \key{subq} \; \Arg\key{,} \Arg \MID
       \key{negq} \; \Arg \MID \key{movq} \; \Arg\key{,} \Arg \MID } \\
@@ -7438,7 +7438,7 @@ $\Atm$.
     \MID \skey{ch} \MID \skey{cl} \MID \skey{dh} \MID \skey{dl} \\
 \Arg &::=&  \gray{\IMM{\Int} \MID \REG{\Reg} \MID \DEREF{\Reg}{\Int}} 
      \MID \BYTEREG{\itm{bytereg}} \\
-\itm{cc} & ::= & \key{e} \MID \key{l} \MID \key{le} \MID \key{g} \MID \key{ge} \\
+\itm{cc} & ::= & \key{e} \MID \key{ne} \MID \key{l} \MID \key{le} \MID \key{g} \MID \key{ge} \\
 \Instr &::=& \gray{ \BININSTR{\scode{addq}}{\Arg}{\Arg} 
        \MID \BININSTR{\scode{subq}}{\Arg}{\Arg} } \\
        &\MID& \gray{ \BININSTR{\scode{movq}}{\Arg}{\Arg} 
@@ -7660,9 +7660,9 @@ Atm &::=& \gray{ \INT{\Int} \MID \VAR{\Var} } \MID \BOOL{\itm{bool}}\\
 \[
 \begin{array}{l}
   \LifASTMonadPython \\
-  \begin{array}{rcl}
-    \LangIfANF  &::=& \PROGRAM{\code{()}}{\Stmt^{*}}
-  \end{array}
+  % \begin{array}{rcl}
+  %   \LangIfANF  &::=& \PROGRAM{\code{()}}{\Stmt^{*}}
+  % \end{array}
 \end{array}
 \]
 \fi}