From 5405b5e809798f9129978850e64cd811ecc95241 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 16 Mar 2012 22:43:22 +0000
Subject: [PATCH] remove a couple of spurious $\qed$

---
 anticommit.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/anticommit.tex b/anticommit.tex
index 0af8f1a..37c40f0 100644
--- a/anticommit.tex
+++ b/anticommit.tex
@@ -80,11 +80,11 @@ $\qed$
 \subsection{Unique Base}
 
 Into Base means that $C \in \pqn$, so Unique Base is not
-applicable. $\qed$
+applicable.
 
 \subsection{Tip Contents}
 
-Again, not applicable. $\qed$
+Again, not applicable.
 
 \subsection{Base Acyclic}
 
-- 
2.30.2