diff --git a/chapters/statements.tex b/chapters/statements.tex index 16ebf57ba..c9d34f8c3 100644 --- a/chapters/statements.tex +++ b/chapters/statements.tex @@ -443,7 +443,7 @@ \subsubsection{Restrictions on Statements within When-Statements}\label{restrict If at least one element of an array appears on the left-hand-side of the assignment operator inside a \lstinline!when!-statement, it is as if the entire array appears in the left-hand-side according to \cref{execution-of-an-algorithm-in-a-model}. Thus, there is no need to restrict the indices to parameter-expressions. \item - \lstinline!for!-loops and \lstinline!if!-statements are not problematic inside \lstinline!when!-statements in algorithms, since all left-hand-side variables inside \lstinline!when!-statements are assigned to their pre-values before the start of the algorithm, according to \cref{execution-of-an-algorithm-in-a-model}. + The \lstinline!for!-loops and \lstinline!if!-statements are not problematic inside \lstinline!when!-statements in algorithms, since all left-hand-side variables inside \lstinline!when!-statements are assigned to their pre-values before the start of the algorithm, according to \cref{execution-of-an-algorithm-in-a-model}. \end{itemize} \end{nonnormative}