1.1 --- a/doc-src/TutorialI/Types/document/Records.tex	Fri Jan 04 19:29:30 2002 +0100
     1.2 +++ b/doc-src/TutorialI/Types/document/Records.tex	Sat Jan 05 01:14:46 2002 +0100
     1.3 @@ -212,7 +212,8 @@
     1.4    than three consecutive periods, ``\isa{{\isachardot}{\isachardot}{\isachardot}}''.  Mixing the ASCII
     1.5    and symbolic versions causes a syntax error.  (The two versions are
     1.6    more distinct on screen than they are on paper.)
     1.7 -  \end{warn}%\index{records!extensible|)}%
     1.8 +  \end{warn}%
     1.9 +  \index{records!extensible|)}%
    1.10  \end{isamarkuptext}%
    1.11  \isamarkuptrue%
    1.12  %