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