# HG changeset patch
# User lcp
# Date 766426249 -7200
# Node ID 7f3642193d8557ab5d6ebd4c53d74687077a69ae
# Parent  bef614030e244b4b4c6cbd47d932eb2886f4ac12
penultimate Springer draft

diff -r bef614030e24 -r 7f3642193d85 doc-src/Ref/undocumented.tex
--- a/doc-src/Ref/undocumented.tex	Fri Apr 15 18:04:01 1994 +0200
+++ b/doc-src/Ref/undocumented.tex	Fri Apr 15 18:10:49 1994 +0200
@@ -244,8 +244,6 @@
 flex-flex pairs by choosing the obvious unifier. It may be used to tidy up
 any flex-flex pairs remaining at the end of a proof.
 
-\subsubsection{Flexible-flexible disagreement pairs}
-
 
 \subsubsection{Multiple unifiers}
 The unification procedure performs Huet's {\sc match} operation