[MLton-commit] r6109

[Matthew Fluet]

mllex; Fix TeX formatting bug in documentation; from Florian Weimer
----------------------------------------------------------------------

U   mlton/trunk/mllex/lexgen.tex

----------------------------------------------------------------------

Modified: mlton/trunk/mllex/lexgen.tex
===================================================================
--- mlton/trunk/mllex/lexgen.tex	2007-11-01 00:53:35 UTC (rev 6108)
+++ mlton/trunk/mllex/lexgen.tex	2007-11-01 02:12:08 UTC (rev 6109)
@@ -372,7 +372,7 @@
 These values should be used only if necessary.  Adding {\tt REJECT} to a
 lexer will slow it down by 20\%; adding {\tt yylineno} will slow it down by
 another 20\%, or more.  (It is much more efficient to 
-recognize {\tt \\n} and
+recognize \verb|\n| and
 have an action that increments the line-number variable.)  The use of
 the lookahead operator {\tt /} will also slow down the entire lexer.
 The character-position, {\tt yypos}, is not costly to maintain, however.