From 21742f0a238a9a7d9c55666a6bd338626ea2cc79 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 14:13:20 +0000
Subject: [PATCH] todo list item

---
 article.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/article.tex b/article.tex
index c3c658c..50fc96c 100644
--- a/article.tex
+++ b/article.tex
@@ -497,6 +497,8 @@ Consider some $D \isin B$.  If $D = B$, $D \in \pn$, OK.
 If $D \neq B$, $D \isin L$.  By No Replay of $D$ in $L$, $D \le L$.
 Thus by Foreign Contents of $L$, $\patchof{D} = \bot$.  OK.
 
+xxx this is wrong
+
 $\qed$
 
 \subsection{Coherence and Patch Inclusion}
-- 
2.30.2