From d184b00db1787fe98bdf3df1c4f72b259d9940d3 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 21 Mar 2012 18:36:31 +0000
Subject: [PATCH] wip exclusive haspatch - fix Anticommit wip

---
 anticommit.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/anticommit.tex b/anticommit.tex
index 166ae17..3d2057e 100644
--- a/anticommit.tex
+++ b/anticommit.tex
@@ -110,7 +110,8 @@ If $L \nothaspatch \p$, $D \not\isin L$ so $D \not\isin C$.
 So $L \nothaspatch \p \implies C \nothaspatch \p$.
 
 Whereas if $L \haspatch \p$, $D \isin L \equiv D \le L$.
-so $L \haspatch \p \implies C \haspatch \p$.
+so $L \haspatch \p \implies C \zhaspatch \p$.
+fixme up to here pdf page 13
 
 $\qed$
 
-- 
2.30.2