src/Pure/Isar/runtime.ML

   | if_context (SOME ctxt) f xs = map (f ctxt) xs;
 
 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
         | _ => cat_lines (("exception " ^ name ^ " raised" ^ pos ^ ":") :: msgs))
       end;