src/Pure/axclass.ML

--- a/src/Pure/axclass.ML	Sun Apr 25 21:02:36 2010 +0200
+++ b/src/Pure/axclass.ML	Sun Apr 25 21:18:04 2010 +0200
@@ -176,7 +176,7 @@
     val certT = Thm.ctyp_of thy;
 
     val classrels = fst (get_instances thy);
-    val classes = #classes (Sorts.rep_algebra (Sign.classes_of thy));
+    val classes = Sorts.classes_of (Sign.classes_of thy);
 
     fun reflcl_classrel (c1', c2') =
       if c1' = c2'