From 0946d3fd432d58f1358488707d1110e886a62341 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 27 May 2012 19:49:27 +0100 Subject: [PATCH] strategy: fixes --- strategy.tex | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/strategy.tex b/strategy.tex index e2bcf46..3bdf9b8 100644 --- a/strategy.tex +++ b/strategy.tex @@ -226,7 +226,7 @@ $\qed$ \section{Traversal phase} -For each patch $C \in \allpatches$ in topological order by $\hasdep$, +For each patch $\pc \in \allpatches$ in topological order by $\hasdep$, lowest first: \begin{enumerate} @@ -236,6 +236,8 @@ lowest first: \end{enumerate} + + \section{Planning phase} The results of the planning phase consist of: -- 2.30.2