Skip to content

Commit

Permalink
LineBreak
Browse files Browse the repository at this point in the history
  • Loading branch information
HansOlsson committed May 12, 2023
1 parent 0c51204 commit 3c56c92
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion chapters/statements.tex
Expand Up @@ -295,7 +295,8 @@ \subsection{While-Statement}\label{while-statement}
end while
\end{lstlisting}
The \lstinline!expression! of a \lstinline!while!-statement shall be a scalar \lstinline!Boolean! expression.
The \lstinline!while!-statement corresponds to while-statements in programming languages, and is formally defined as follows:

The \lstinline!while!-statement corresponds to while-statements in other programming languages, and is formally defined as follows:
\begin{enumerate}
\item
\label{while-execution-top}
Expand Down

0 comments on commit 3c56c92

Please sign in to comment.