wip exclusive haspatch - fix Anticommit wip

[topbloke-formulae.git] / merge.tex

diff --git a/merge.tex b/merge.tex
index 5dc99ee548760ebeb80f908a8d1dd959416bd928..fc5df3bbba880e392eccee6b0da74581b7f04a42 100644 (file)
--- a/merge.tex
+++ b/merge.tex
@@ -166,7 +166,7 @@ By Tip Own Contents, $\neg[ L \nothaspatch \p ]$ so $L \neq X$,
 therefore we must have $L=Y$, $R=X$.
 By Tip Merge $M = \baseof{L}$ so $M \in \pn$ so
 by Base Acyclic $M \nothaspatch \p$.  By $\merge$, $D \isin C$,
-and $D \le C$, consistent with $C \haspatch \p$.  OK.
+and $D \le C$.  OK.
 
 Consider $D \neq C, M \nothaspatch \p, D \isin Y$:
 $D \le Y$ so $D \le C$.