chiark / gitweb /
merge: Fix formatting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:11:16 +0000 (20:11 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:11:16 +0000 (20:11 +0100)
merge.tex

index 746ba2d..63817ca 100644 (file)
--- a/merge.tex
+++ b/merge.tex
@@ -146,7 +146,7 @@ $$
 $D \not\isin L \land D \not\isin R$.  $C \not\in \py$ (otherwise $L
 \in \py$ ie $L \haspatch \p$ by Tip Own Contents for $L$).
 So $D \neq C$.
-Applying \commitmergename gives $D \not\isin C$ i.e. $C \nothaspatch \p$.
+Applying \commitmergename\ gives $D \not\isin C$ i.e. $C \nothaspatch \p$.
 OK.
 
 \subsubsection{For $L \haspatch \p, R \haspatch \p$:}