# HG changeset patch
# User immler
# Date 1557747599 -7200
# Node ID 02920bc314ee3882d678ef671f024fd6a4b531c6
# Parent  94b332206700da3b2e512d421b3fff93eab6657d
amended to unoverload actually all parameters of a type variable

diff -r 94b332206700 -r 02920bc314ee src/HOL/Types_To_Sets/unoverload_type.ML
--- 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