Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/goals.ML
changeset 2962 97ae96c72d8c
parent 2878 bf7b6833e4d7
child 3532 de271ba8086e 
--- a/src/Pure/goals.ML	Wed Apr 16 18:21:00 1997 +0200
+++ b/src/Pure/goals.ML	Wed Apr 16 18:22:10 1997 +0200
@@ -154,7 +154,7 @@
                  cat_lines (map (Sign.string_of_term sign) hyps))
 	    else if not (null xshyps) then !result_error_ref state
                 ("Extra sort hypotheses: " ^
-                 commas (map Type.str_of_sort xshyps))
+                 commas (map Sorts.str_of_sort xshyps))
 	    else if Pattern.matches (#tsig(Sign.rep_sg sign)) 
 			            (term_of chorn, prop)
 		 then  standard th
isabelle