|
@@ -13048,7 +13048,7 @@ where $\Type_i$ is the type of the $i$th element.
|
|
|
The \GLOBALVALUE{\itm{name}} form reads the value of a global
|
|
|
variable, such as \code{free\_ptr}.
|
|
|
%
|
|
|
-\python{We have already seen the \BEGIN{\itm{stmt}$^{*}$}{\itm{exp}} form
|
|
|
+\python{We have seen the \BEGIN{\itm{stmt}$^{*}$}{\itm{exp}} form
|
|
|
in section~\ref{sec:remove-complex-opera-Lif}.}
|
|
|
|
|
|
\racket{
|