From 3a480476887e4dfb10fbb3585adfc8b04d16859d Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 16 Mar 2012 22:40:45 +0000
Subject: [PATCH] remove spurious .

---
 create-base.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}
 
-- 
2.30.2