From 8492bec613122a6ef044417aab0c7d6d74ca03fe Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 21 Mar 2012 21:44:57 +0000
Subject: [PATCH] refactor for coherence cases - simple, fix leftover ~

---
 simple.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/simple.tex b/simple.tex
index 8740176..5f6e184 100644
--- a/simple.tex
+++ b/simple.tex
@@ -56,7 +56,6 @@ $$
 \end{cases}
 $$
 \proofstarts
-~
 
 Firstly, if $L \haspatch \p$, $\exists_{F \in \py} F \le L$
 and this $F$ is also $\le C$
-- 
2.30.2