chiark / gitweb /
strategy: fixes
[topbloke-formulae.git] / 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: