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/global_theory.ML
changeset 48992 0518bf89c777
parent 47337 bd24e466bef9
child 49010 72808e956879 
--- a/src/Pure/global_theory.ML	Wed Aug 29 11:31:07 2012 +0200
+++ b/src/Pure/global_theory.ML	Wed Aug 29 11:48:45 2012 +0200
@@ -103,7 +103,7 @@
     val _ = Theory.check_thy thy;
   in
     (case res of
-      NONE => error ("Unknown fact " ^ quote name ^ Position.str_of pos)
+      NONE => error ("Unknown fact " ^ quote name ^ Position.here pos)
     | SOME (static, ths) =>
         (Context_Position.report_generic context pos (Name_Space.markup (Facts.space_of facts) name);
          if static then ()
isabelle