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/thm.ML
changeset 2962 97ae96c72d8c
parent 2792 6c17c5ec3d8b
child 2979 db6941221197 
--- a/src/Pure/thm.ML	Wed Apr 16 18:21:00 1997 +0200
+++ b/src/Pure/thm.ML	Wed Apr 16 18:22:10 1997 +0200
@@ -502,7 +502,7 @@
              not (!force_strip_shyps) then shyps'
           else    (* FIXME tmp *)
               (warning ("Removed sort hypotheses: " ^
-                        commas (map Type.str_of_sort (shyps' \\ sorts)));
+                        commas (map Sorts.str_of_sort (shyps' \\ sorts)));
                warning "Let's hope these sorts are non-empty!";
            sorts)),
       hyps = hyps,
isabelle