From 7edfc980fd47d8df763c91322fcc3dc8ed5b9ff7 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 10 Aug 2013 20:11:16 +0100 Subject: [PATCH] merge: Fix formatting --- merge.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/merge.tex b/merge.tex index 746ba2d..63817ca 100644 --- 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$:} -- 2.30.2