diff options
Diffstat (limited to 'Doc/lib')
| -rw-r--r-- | Doc/lib/libtypes.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/lib/libtypes.tex b/Doc/lib/libtypes.tex index dfe1ecb..33d1b15 100644 --- a/Doc/lib/libtypes.tex +++ b/Doc/lib/libtypes.tex @@ -118,7 +118,7 @@ Notes: \item[(1)] \code{<>} and \code{!=} are alternate spellings for the same operator. (I couldn't choose between \ABC{} and \C{}! :-) -\indexii{\ABC{}}{language} +\indexii{ABC@\ABC{}}{language} \indexii{\C{}}{language} \end{description} |