X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;ds=sidebyside;f=merge.tex;h=6ff5d81e51d67193858caf678fa0a1185a60c7fd;hb=588087cf4ec7d7c90cb21ac1b3790b86283ba992;hp=44850a5e9ca19ac30ae570bc90149e788707dac7;hpb=668c3ab71fef1c59111d808e8011612093eec9a2;p=topbloke-formulae.git

diff --git a/merge.tex b/merge.tex
index 44850a5..6ff5d81 100644
--- 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$