src/Pure/axclass.ML

--- a/src/Pure/axclass.ML	Tue Feb 07 08:47:43 2006 +0100
+++ b/src/Pure/axclass.ML	Tue Feb 07 19:56:45 2006 +0100
@@ -99,7 +99,7 @@
         Type (t, tys) => (t, map dest_varT tys handle TYPE _ => err ())
       | _ => err ());
     val ss =
-      if null (gen_duplicates (eq_fst (op =)) tvars)
+      if null (duplicates (eq_fst (op =)) tvars)
       then map snd tvars else err ();
   in (t, ss, c) end;