# HG changeset patch
# User wenzelm
# Date 955630895 -7200
# Node ID d1975e0c99af45aeaccd341bb0b3814c873d8775
# Parent  628ffca977b836a35210896ecfaaa42c11d27aa8
fixed index;

diff -r 628ffca977b8 -r d1975e0c99af doc-src/Ref/syntax.tex
--- a/doc-src/Ref/syntax.tex	Thu Apr 13 15:01:11 2000 +0200
+++ b/doc-src/Ref/syntax.tex	Thu Apr 13 15:01:35 2000 +0200
@@ -890,7 +890,7 @@
 \begin{ttbox}
 val token_translation: 
       (string * string * (string -> string * real)) list
-\end{ttbox}\index{token_translation}
+\end{ttbox}
 The elements of this list are of the form $(m, c, f)$, where $m$ is a print
 mode identifier, $c$ a token class, and $f\colon string \to string \times
 real$ the actual translation function.  Assuming that $x$ is of identifier