src/Pure/axclass.ML
changeset 39134 917b4b6ba3d2
parent 39133 70d3915c92f0
child 39557 fe5722fce758
--- a/src/Pure/axclass.ML	Sun Sep 05 19:47:40 2010 +0200
+++ b/src/Pure/axclass.ML	Sun Sep 05 21:41:24 2010 +0200
@@ -519,7 +519,7 @@
     fun check_constraint (a, S) =
       if Sign.subsort thy (super, S) then ()
       else error ("Sort constraint of type variable " ^
-        setmp_CRITICAL show_sorts true (Syntax.string_of_typ ctxt) (TFree (a, S)) ^
+        Syntax.string_of_typ (Config.put show_sorts true ctxt) (TFree (a, S)) ^
         " needs to be weaker than " ^ Syntax.string_of_sort ctxt super);