src/Pure/Isar/code_unit.ML

--- a/src/Pure/Isar/code_unit.ML	Thu Oct 04 20:29:13 2007 +0200
+++ b/src/Pure/Isar/code_unit.ML	Thu Oct 04 20:29:24 2007 +0200
@@ -140,7 +140,7 @@
       in (c, (fst o strip_type) ty') end;
     val c' :: cs' = map ty_sorts cs;
     val ((tyco, sorts), cs'') = fold add cs' (apsnd single c');
-    val vs = Name.names Name.context "'a" sorts;
+    val vs = Name.names Name.context Name.aT sorts;
     val cs''' = map (inst vs) cs'';
   in (tyco, (vs, cs''')) end;