src/Pure/axclass.ML
changeset 17496 26535df536ae
parent 17412 e26cb20ef0cc
child 17703 6ec36bad47ea
     1.1 --- a/src/Pure/axclass.ML	Tue Sep 20 08:20:22 2005 +0200
     1.2 +++ b/src/Pure/axclass.ML	Tue Sep 20 08:21:49 2005 +0200
     1.3 @@ -103,7 +103,7 @@
     1.4          Type (t, tys) => (t, map dest_varT tys handle TYPE _ => err ())
     1.5        | _ => err ());
     1.6      val ss =
     1.7 -      if null (gen_duplicates eq_fst tvars)
     1.8 +      if null (gen_duplicates (eq_fst (op =)) tvars)
     1.9        then map snd tvars else err ();
    1.10    in (t, ss, c) end;
    1.11