--- a/src/Pure/type_infer.ML Wed Feb 15 19:11:10 2006 +0100
+++ b/src/Pure/type_infer.ML Wed Feb 15 21:34:55 2006 +0100
@@ -461,7 +461,7 @@
fun eq ((xi: indexname, S), (xi', S')) =
xi = xi' andalso Type.eq_sort tsig (S, S');
- val env = gen_distinct eq (map (apsnd map_sort) raw_env);
+ val env = distinct eq (map (apsnd map_sort) raw_env);
val _ = (case duplicates (eq_fst (op =)) env of [] => ()
| dups => error ("Inconsistent sort constraints for type variable(s) "
^ commas_quote (map (Syntax.string_of_vname' o fst) dups)));