src/Pure/type_infer.ML
changeset 16366 6ff17d08c3d5
parent 16195 0eb3c15298cd
child 16668 fdb4992cf1d2
     1.1 --- a/src/Pure/type_infer.ML	Sat Jun 11 22:15:50 2005 +0200
     1.2 +++ b/src/Pure/type_infer.ML	Sat Jun 11 22:15:51 2005 +0200
     1.3 @@ -523,7 +523,7 @@
     1.4      val raw_ts' =
     1.5        map (decode_types tsig is_const def_type def_sort map_const map_type map_sort) raw_ts;
     1.6      val (ts, Ts, unifier) = basic_infer_types pp const_type
     1.7 -      classes arities used freeze is_param raw_ts' pat_Ts';
     1.8 +      (#2 classes) arities used freeze is_param raw_ts' pat_Ts';
     1.9    in (ts, unifier) end;
    1.10  
    1.11  end;