MakeNormative

chapters/statements.tex

@@ -233,7 +233,9 @@ \subsubsection{Implicit Iteration Ranges}\label{implicit-iteration-ranges}
 \end{lstlisting}
 \end{example}
 
+\begin{nonnormative}
 The size of an array -- the iteration range -- can be evaluated on entry to the \lstinline!for!-loop, since the array size cannot change during the execution of the \lstinline!for!-loop.
+\end{nonnormative}
 
 \subsubsection{Types as Iteration Ranges}\label{types-as-iteration-ranges}