src/Pure/type_infer.ML
changeset 19046 bc5c6c9b114e
parent 19012 2577ac76cdc6
child 19465 e6093a7fa53a
     1.1 --- a/src/Pure/type_infer.ML	Wed Feb 15 19:11:10 2006 +0100
     1.2 +++ b/src/Pure/type_infer.ML	Wed Feb 15 21:34:55 2006 +0100
     1.3 @@ -461,7 +461,7 @@
     1.4      fun eq ((xi: indexname, S), (xi', S')) =
     1.5        xi = xi' andalso Type.eq_sort tsig (S, S');
     1.6  
     1.7 -    val env = gen_distinct eq (map (apsnd map_sort) raw_env);
     1.8 +    val env = distinct eq (map (apsnd map_sort) raw_env);
     1.9      val _ = (case duplicates (eq_fst (op =)) env of [] => ()
    1.10        | dups => error ("Inconsistent sort constraints for type variable(s) "
    1.11            ^ commas_quote (map (Syntax.string_of_vname' o fst) dups)));