changeset 3853 | 73c074f41749 |
parent 3707 | 40856b593501 |
child 3974 | d3c2159b75fa |
--- a/src/Pure/goals.ML Mon Oct 13 12:51:51 1997 +0200 +++ b/src/Pure/goals.ML Mon Oct 13 17:47:59 1997 +0200 @@ -155,7 +155,7 @@ cat_lines (map (Sign.string_of_term sign) hyps)) else if not (null xshyps) then !result_error_fn state ("Extra sort hypotheses: " ^ - commas (map Sorts.str_of_sort xshyps)) + commas (map (Sign.str_of_sort sign) xshyps)) else if Pattern.matches (#tsig(Sign.rep_sg sign)) (term_of chorn, prop) then standard th