X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=create-base.tex;fp=create-base.tex;h=e564623868465dc31ec2739dcc54f3d7b7bd3d43;hp=b429e40b931681edfdefe822de1429a7f00ae37c;hb=3a480476887e4dfb10fbb3585adfc8b04d16859d;hpb=5d0609c1fcad5f04f3dbac80335577173d038ce4

diff --git a/create-base.tex b/create-base.tex
index b429e40..e564623 100644
--- a/create-base.tex
+++ b/create-base.tex
@@ -44,7 +44,7 @@ and $D \le B \equiv D \le L$.
 Thus $L \haspatch \p \implies B \haspatch P$
 and $L \nothaspatch \p \implies B \nothaspatch P$.
 
-$\qed$.
+$\qed$
 
 \subsection{Foreign Inclusion}