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}: