# HG changeset patch
# User wenzelm
# Date 1116408658 -7200
# Node ID 554836ed1f1b0be6e74323808e8745db427841c7
# Parent  786c5f838b0c5d1b15fce4ba545c813c8232bf90
updated;

diff -r 786c5f838b0c -r 554836ed1f1b doc-src/LaTeXsugar/Sugar/document/Sugar.tex
--- a/doc-src/LaTeXsugar/Sugar/document/Sugar.tex	Wed May 18 10:51:15 2005 +0200
+++ b/doc-src/LaTeXsugar/Sugar/document/Sugar.tex	Wed May 18 11:30:58 2005 +0200
@@ -383,7 +383,7 @@
     \verb!    | my_lhs ctxt (Const ("==>", _) $ _ $ t) = my_lhs ctxt t!\\
     \verb!    | my_lhs ctxt (_ $ t $ _) = t!\\
     \verb!    | my_lhs ctxt _ = error ("Binary operator expected")!\\
-    \verb!  in [TermStyle.update_style "new_lhs" my_lhs]!\\
+    \verb!  in [TermStyle.add_style "new_lhs" my_lhs]!\\
     \verb!end;!\\
     \verb!*!\verb!}!\\
   \end{quote}