From 8f15401073e681d6e09f81ba4b0b912661686a34 Mon Sep 17 00:00:00 2001
From: Bert Burgemeister <trebbu@googlemail.com>
Date: Sat, 24 Jul 2010 17:54:28 +0200
Subject: [PATCH] Minor edit.

---
 clqr-types-and-classes.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/clqr-types-and-classes.tex b/clqr-types-and-classes.tex
index 9fb811d..1ed8ecd 100644
--- a/clqr-types-and-classes.tex
+++ b/clqr-types-and-classes.tex
@@ -250,8 +250,8 @@ For any class, there is always a corresponding type of the same name.
 
   \IT{\kwd{\A}}
   {
-    \index{*@\A}
-    As subsidiary type information: no restriction.
+    \index{*@\A}%
+    As a type argument (cf.\ Figure \ref{data-types}): no restriction.
   }
   \end{LIST}
 
-- 
2.11.4.GIT