From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 27 May 2012 18:49:27 +0000 (+0100)
Subject: strategy: fixes
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=0946d3fd432d58f1358488707d1110e886a62341;ds=sidebyside

strategy: fixes
---

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: