src/Pure/System/isar.ML

--- a/src/Pure/System/isar.ML	Wed Jan 16 21:39:43 2013 +0100
+++ b/src/Pure/System/isar.ML	Wed Jan 16 21:49:56 2013 +0100
@@ -96,7 +96,8 @@
     NONE => false
   | SOME (_, SOME exn_info) =>
      (set_exn (SOME exn_info);
-      Toplevel.error_msg tr (serial (), ML_Compiler.exn_message (Runtime.EXCURSION_FAIL exn_info));
+      Toplevel.setmp_thread_position tr
+        Output.error_msg' (serial (), ML_Compiler.exn_message (Runtime.EXCURSION_FAIL exn_info));
       true)
   | SOME (st', NONE) =>
       let