From 12818e0da31738adbaecf129c1e697633d371cf8 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 14 Mar 2012 23:22:20 +0000
Subject: [PATCH] wip dependency insertion

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

diff --git a/article.tex b/article.tex
index 7ec582e..0ed90a6 100644
--- a/article.tex
+++ b/article.tex
@@ -855,7 +855,6 @@ $$
   \p \neq \pr \land L \nothaspatch \p : & C \nothaspatch \p
 \end{cases}
 $$
-
 \proofstarts
 ~ Consider some $D \in \py$.
 $D \neq C$ so $D \le C \equiv D \le L \lor D \le R^+$.
-- 
2.30.2