src/Pure/type_infer.ML
changeset 18964 67f572e03236
parent 18939 18e2a2676d80
child 18996 1b11052ad601
     1.1 --- a/src/Pure/type_infer.ML	Tue Feb 07 08:47:43 2006 +0100
     1.2 +++ b/src/Pure/type_infer.ML	Tue Feb 07 19:56:45 2006 +0100
     1.3 @@ -462,7 +462,7 @@
     1.4        xi = xi' andalso Type.eq_sort tsig (S, S');
     1.5  
     1.6      val env = gen_distinct eq (map (apsnd map_sort) raw_env);
     1.7 -    val _ = (case gen_duplicates (eq_fst (op =)) env of [] => ()
     1.8 +    val _ = (case duplicates (eq_fst (op =)) env of [] => ()
     1.9        | dups => error ("Inconsistent sort constraints for type variable(s) "
    1.10            ^ commas_quote (map (Syntax.string_of_vname' o fst) dups)));
    1.11