fix title etc. in merge use of no replay

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index be6d4759945ccdbfacbe46ab9527357abb874df4..89d23fe179d9bfc53524f3cfe65fb20d4425f51e 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -449,9 +449,9 @@ Merge commits $L$ and $R$ using merge base $M$ ($M < L, M < R$):
    \end{cases}
 }\]
 
-\subsection{Merge Results}
+\subsection{No Replay}
 
-As above.
+See No Replay for Merge Results.
 
 \subsection{Unique Base}