src/Pure/axclass.ML
changeset 32966 5b21661fe618
parent 32791 e6d47ce70d27
child 33065 1cefea81ec4f
     1.1 --- a/src/Pure/axclass.ML	Sat Oct 17 15:55:57 2009 +0200
     1.2 +++ b/src/Pure/axclass.ML	Sat Oct 17 15:57:51 2009 +0200
     1.3 @@ -438,7 +438,7 @@
     1.4      fun check_constraint (a, S) =
     1.5        if Sign.subsort thy (super, S) then ()
     1.6        else error ("Sort constraint of type variable " ^
     1.7 -        setmp show_sorts true (Pretty.string_of_typ pp) (TFree (a, S)) ^
     1.8 +        setmp_CRITICAL show_sorts true (Pretty.string_of_typ pp) (TFree (a, S)) ^
     1.9          " needs to be weaker than " ^ Pretty.string_of_sort pp super);
    1.10  
    1.11