From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Aug 2013 19:27:01 +0000 (+0100)
Subject: strategy: w gives commits, not sets
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=7ea82c90c1a5860cbe3abd1a18f55ca1720d1722

strategy: w gives commits, not sets
---

diff --git a/strategy.tex b/strategy.tex
index e12ff66..499ec34 100644
--- a/strategy.tex
+++ b/strategy.tex
@@ -84,7 +84,7 @@ all of its dependencies will be updated.
 \item[ $h : \pc^{+/-} \mapsto \set H^{\pc^{+/-}}$ ]
 Function for getting the existing heads $\set H$ of the branch $\pc^{+/-}$.
 
-\item[ $w : \pc^{+/-} \mapsto \set W_0^{\pc^{+/-}}$ ]
+\item[ $w : \pc^{+/-} \mapsto W_0^{\pc^{+/-}}$ ]
 
 Function for getting the existing local head of the branch
 $\pc^{+/-}$.  I.e., the current value of the branch ref for $\pc^{+/-}$.