src/Pure/thm.ML
changeset 2962 97ae96c72d8c
parent 2792 6c17c5ec3d8b
child 2979 db6941221197
     1.1 --- a/src/Pure/thm.ML	Wed Apr 16 18:21:00 1997 +0200
     1.2 +++ b/src/Pure/thm.ML	Wed Apr 16 18:22:10 1997 +0200
     1.3 @@ -502,7 +502,7 @@
     1.4               not (!force_strip_shyps) then shyps'
     1.5            else    (* FIXME tmp *)
     1.6                (warning ("Removed sort hypotheses: " ^
     1.7 -                        commas (map Type.str_of_sort (shyps' \\ sorts)));
     1.8 +                        commas (map Sorts.str_of_sort (shyps' \\ sorts)));
     1.9                 warning "Let's hope these sorts are non-empty!";
    1.10             sorts)),
    1.11        hyps = hyps,