src/Pure/variable.ML
changeset 24848 5dbbd33c3236
parent 24765 3128ccd9121f
child 25051 71cd45fdf332
     1.1 --- a/src/Pure/variable.ML	Thu Oct 04 20:29:13 2007 +0200
     1.2 +++ b/src/Pure/variable.ML	Thu Oct 04 20:29:24 2007 +0200
     1.3 @@ -299,7 +299,7 @@
     1.4  
     1.5  fun invent_types Ss ctxt =
     1.6    let
     1.7 -    val tfrees = Name.invents (names_of ctxt) "'a" (length Ss) ~~ Ss;
     1.8 +    val tfrees = Name.invents (names_of ctxt) Name.aT (length Ss) ~~ Ss;
     1.9      val ctxt' = fold (declare_constraints o Logic.mk_type o TFree) tfrees ctxt;
    1.10    in (tfrees, ctxt') end;
    1.11