Processed feedback

1 files changed, 4 insertions, 3 deletions

diff --git a/paper/intro-while.tex b/paper/intro-while.tex
index 128244a..77251bd 100644
--- a/paper/intro-while.tex
+++ b/paper/intro-while.tex
@@ -1,7 +1,7 @@
 \subsection{The language While}
 \label{sec:intro:while}
-We will use the language While described by~\cite{proganal} as a running
-example. In its definition, we use the following meta-variables:
+We use the language While described by~\cite{proganal} as a running example. In
+its definition, the following meta-variables are used:
 
 \begin{tabbing}
 	\qquad \= $n$ \enspace\= denotes an integer; \\
@@ -57,4 +57,5 @@ after executing the following program, \verb$y$ will have been divided by $2$:
 		}
 \end{while}
 
-While programs are executed in a \emph{state} which maps variables to integers.
+Programs in While are executed in a \emph{state} which maps variables to
+integers.