src/Pure/Tools/codegen_consts.ML

--- a/src/Pure/Tools/codegen_consts.ML	Fri Sep 01 08:36:54 2006 +0200
+++ b/src/Pure/Tools/codegen_consts.ML	Fri Sep 01 08:36:55 2006 +0200
@@ -108,7 +108,7 @@
    of NONE => [c_tys]
     | SOME class => let
         val cs = maps (AxClass.params_of thy)
-          (Sorts.all_super_classes (Sign.classes_of thy) class)
+          (Graph.all_succs ((#classes o Sorts.rep_algebra o Sign.classes_of) thy) [class])
         fun add_tyco (tyco, classes) =
           if member (op = o apsnd fst) classes class
           then cons tyco else I;