chiark / gitweb /
strategy: fixes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 18:49:27 +0000 (19:49 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 18:49:27 +0000 (19:49 +0100)
strategy.tex

index e2bcf46fc50dfa768b2108b930b9728a0d39cae7..3bdf9b8bebad3dd48b83f04a32a20f50fd1c1c34 100644 (file)
@@ -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: