X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=strategy.tex;fp=strategy.tex;h=3bdf9b8bebad3dd48b83f04a32a20f50fd1c1c34;hp=e2bcf46fc50dfa768b2108b930b9728a0d39cae7;hb=0946d3fd432d58f1358488707d1110e886a62341;hpb=be08dfe44764573fcf4d903dbe74576e3762ee04

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: