chiark / gitweb /
fixes: correct suitable tips
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 22:13:52 +0000 (23:13 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 22:13:52 +0000 (23:13 +0100)
merge.tex

index 44850a5..6ff5d81 100644 (file)
--- a/merge.tex
+++ b/merge.tex
@@ -273,7 +273,7 @@ For $L \in \py$, trivially $\pendsof{C}{\py} = C$ so $T = C$ is
 suitable.
 
 For $L \not\in \py$, $\pancsof{C}{\py} = \pancsof{L}{\py} \cup
-\pancsof{R}{\py}$.  So $T$ from Suitable Tip is a suitable $T$ for
+\pancsof{R}{\py}$.  So $T$ from Suitable Tips is a suitable $T$ for
 Unique Tips.
 
 $\qed$