process comments

[phd-thesis.git] / top / imp.tex

diff --git a/top/imp.tex b/top/imp.tex
index 39a6347..1169187 100644 (file)
--- 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.