X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=annotations.tex;fp=annotations.tex;h=3401475b5ebb302312f4949641403363fa69a5e9;hb=5860d628a539a0cf1b5d2f540d715291261ec2c0;hp=72b00e8cc63055f3dbcb3db1a9e5fbd6d6b6ea0a;hpb=3633c1fc18eec0733f3f64a119041795cf4d8c28;p=topbloke-formulae.git

diff --git a/annotations.tex b/annotations.tex
index 72b00e8..3401475 100644
--- a/annotations.tex
+++ b/annotations.tex
@@ -19,7 +19,7 @@ Whether $\baseof{C}$ is required, and if so what the value is, is
 stated in the proof of Unique Base for each kind of commit.
 
 $C \haspatch \p$ or $\nothaspatch \p$ is represented as a
-list of $\p$ for which it is known that $C \haspatch \p$;
+list of $\p$ for which $C \haspatch \p$;
 for any $\p$ not listed, $C \nothaspatch \p$.
 Whether to record $C \haspatch \p$ in a new commit
 is in stated