chiark / gitweb /
tiny clarification
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 6 Mar 2012 17:17:07 +0000 (17:17 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 6 Mar 2012 17:17:07 +0000 (17:17 +0000)
article.tex

index 1fa67c2..3db83bf 100644 (file)
@@ -263,7 +263,7 @@ XXX proof TBD.
 
 \subsection{No Replay for Merge Results}
 
-If we are constructing $C$, given
+If we are constructing $C$, with,
 \gathbegin
   \mergeof{C}{L}{M}{R}
 \gathnext