X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=top%2Fimp.tex;fp=top%2Fimp.tex;h=1169187a4b8018b384d1682e6cead1972a01d8f0;hb=8e40178e9c5dae52e0006f480fa4d385f745ce1d;hp=39a6347dbd3b3d51bf1316df21ba3980e6d37b4b;hpb=1241585df879e6723b374239bcc724cc5867621c;p=phd-thesis.git

diff --git a/top/imp.tex b/top/imp.tex
index 39a6347..1169187 100644
--- a/top/imp.tex
+++ b/top/imp.tex
@@ -634,7 +634,8 @@ There are several possible messages that can be received from the server:
 
 \subsection{Execution phase}
 The second phase performs one execution step for all tasks that wish for it.
-Tasks are ordered in a priority queue ordered by the time a task needs to execute, the \gls{RTS} selects all tasks that can be scheduled, see \cref{sec:scheduling} for more details.
+Tasks are placed in a priority queue orderd by the time a task needs to execute.
+The \gls{RTS} selects all tasks that can be scheduled, see \cref{sec:scheduling} for more details.
 Execution of a task is always an interplay between the interpreter and the rewriter.
 The rewriter scans the current task tree and tries to rewrite it using small-step reduction.
 Expressions in the tree are always strictly evaluated by the interpreter.