Remove Def from abstract syntax of Cloop (racket)

If I understand it right, on Figure 5.7 (Racket version) there is a leftover from previous major edition - line

`def :== (Def label ([var:type] ....)`

book.tex

@@ -10483,8 +10483,7 @@ fine to place \code{begin} there.
 \newcommand{\CloopASTRacket}{
 \begin{array}{lcl}
 \Atm  &::=&  \VOID \\
-\Stmt &::=& \READ{}\\
-\Def &::=& \DEF{\itm{label}}{\LP\LS\Var\key{:}\Type\RS\ldots\RP}{\Type}{\itm{info}}{\LP\LP\itm{label}\,\key{.}\,\Tail\RP\ldots\RP}
+\Stmt &::=& \READ{}
 \end{array}
 }