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