From 3c56c9213dc978249998efa13de313d05ed01b24 Mon Sep 17 00:00:00 2001 From: HOS Date: Fri, 12 May 2023 13:35:49 +0200 Subject: [PATCH] LineBreak --- chapters/statements.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/chapters/statements.tex b/chapters/statements.tex index 509827ce7..5ce0304d4 100644 --- a/chapters/statements.tex +++ b/chapters/statements.tex @@ -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}