src/Pure/Isar/class.ML
changeset 43329 84472e198515
parent 42402 c7139609b67d
child 45291 57cd50f98fdc
     1.1 --- a/src/Pure/Isar/class.ML	Wed Jun 08 22:16:21 2011 +0200
     1.2 +++ b/src/Pure/Isar/class.ML	Thu Jun 09 20:22:22 2011 +0200
     1.3 @@ -426,7 +426,7 @@
     1.4        (raw_tyco, raw_sorts, raw_sort)) raw_tycos;
     1.5      val tycos = map #1 all_arities;
     1.6      val (_, sorts, sort) = hd all_arities;
     1.7 -    val vs = Name.names Name.context Name.aT sorts;
     1.8 +    val vs = Name.invent_names Name.context Name.aT sorts;
     1.9    in (tycos, vs, sort) end;
    1.10  
    1.11