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/Isar/runtime.ML
changeset 48992 0518bf89c777
parent 45666 d83797ef0d2d
child 49647 21ae8500d261 
--- a/src/Pure/Isar/runtime.ML	Wed Aug 29 11:31:07 2012 +0200
+++ b/src/Pure/Isar/runtime.ML	Wed Aug 29 11:48:45 2012 +0200
@@ -48,7 +48,7 @@
 fun exn_messages exn_position e =
   let
     fun raised exn name msgs =
-      let val pos = Position.str_of (exn_position exn) in
+      let val pos = Position.here (exn_position exn) in
         (case msgs of
           [] => "exception " ^ name ^ " raised" ^ pos
         | [msg] => "exception " ^ name ^ " raised" ^ pos ^ ": " ^ msg
isabelle