src/Tools/code/code_funcgr.ML

--- a/src/Tools/code/code_funcgr.ML	Thu Oct 11 16:05:44 2007 +0200
+++ b/src/Tools/code/code_funcgr.ML	Thu Oct 11 16:05:47 2007 +0200
@@ -156,9 +156,7 @@
   let
     val thy_classes = (#classes o Sorts.rep_algebra o Sign.classes_of) thy;
     fun all_classparams tyco class =
-      try (AxClass.params_of_class thy) class
-      |> Option.map snd
-      |> these
+      these (try (#params o AxClass.get_info thy) class)
       |> map (fn (c, _) => Class.inst_const thy (c, tyco))
   in
     Symtab.empty