# HG changeset patch
# User nipkow
# Date 1312784728 -7200
# Node ID 9f9a40e778d6a758d9a39de00b87166d1b566d2e
# Parent  64f574163ca2b0c3df871bb16a6f8597ed12be7c
fixed index entry

diff -r 64f574163ca2 -r 9f9a40e778d6 doc-src/TutorialI/fp.tex
--- a/doc-src/TutorialI/fp.tex	Mon Aug 08 07:35:42 2011 +0200
+++ b/doc-src/TutorialI/fp.tex	Mon Aug 08 08:25:28 2011 +0200
@@ -249,7 +249,7 @@
 
 \index{type synonyms}%
 Type synonyms are similar to those found in ML\@. They are created by a 
-\commdx{type\_synonym} command:
+\commdx{type\protect\_synonym} command:
 
 \medskip
 \input{Misc/document/types.tex}