src/Pure/type_infer.ML
changeset 32033 f92df23c3305
parent 32002 1a35de4112bb
child 32141 31cd1ea502aa
     1.1 --- a/src/Pure/type_infer.ML	Fri Jul 17 21:33:00 2009 +0200
     1.2 +++ b/src/Pure/type_infer.ML	Fri Jul 17 22:51:18 2009 +0200
     1.3 @@ -402,7 +402,7 @@
     1.4  
     1.5      (*convert to preterms*)
     1.6      val ts = burrow_types check_typs raw_ts;
     1.7 -    val (ts', (vps, ps)) =
     1.8 +    val (ts', _) =
     1.9        fold_map (preterm_of const_type is_param o constrain_vars) ts (Vartab.empty, Vartab.empty);
    1.10  
    1.11      (*do type inference*)