--- a/src/HOL/Types_To_Sets/unoverload_type.ML Mon May 13 16:30:20 2019 +0200
+++ b/src/HOL/Types_To_Sets/unoverload_type.ML Mon May 13 13:39:59 2019 +0200
@@ -16,7 +16,7 @@
fun params_of_class thy class = try (Axclass.get_info thy #> #params) class |> these
fun params_of_super_classes thy class =
- Sorts.super_classes (Sign.classes_of thy) class |> maps (params_of_class thy)
+ class::Sorts.super_classes (Sign.classes_of thy) class |> maps (params_of_class thy)
fun params_of_sort thy sort = maps (params_of_super_classes thy) sort