# HG changeset patch
# User wenzelm
# Date 884623735 -3600
# Node ID 83e1eec9cfeb2dbaa92c16e1288b1f5ed11f992c
# Parent  8e604d885b54683b86bac031ed4e51c8b42b17c4
tuned;

diff -r 8e604d885b54 -r 83e1eec9cfeb doc-src/Ref/simplifier.tex
--- a/doc-src/Ref/simplifier.tex	Mon Jan 12 17:48:23 1998 +0100
+++ b/doc-src/Ref/simplifier.tex	Mon Jan 12 17:48:55 1998 +0100
@@ -1131,8 +1131,7 @@
   fun proc _ _ (Abs _) = Some rew
     | proc _ _ _ = None;
 in
-  val pair_eta_expand_proc =
-    Simplifier.mk_simproc "pair_eta_expand" lhss proc;
+  val pair_eta_expand_proc = mk_simproc "pair_eta_expand" lhss proc;
 end;
 \end{ttbox}
 This is an example of using \texttt{pair_eta_expand_proc}: