src/Pure/System/isar.ML
changeset 44270 3eaad39e520c
parent 43684 85388f5570c4
child 46961 5c6955f487e5
     1.1 --- a/src/Pure/System/isar.ML	Thu Aug 18 17:30:47 2011 +0200
     1.2 +++ b/src/Pure/System/isar.ML	Thu Aug 18 17:53:32 2011 +0200
     1.3 @@ -96,7 +96,7 @@
     1.4      NONE => false
     1.5    | SOME (_, SOME exn_info) =>
     1.6       (set_exn (SOME exn_info);
     1.7 -      Toplevel.error_msg tr (ML_Compiler.exn_message (Runtime.EXCURSION_FAIL exn_info));
     1.8 +      Toplevel.error_msg tr (serial (), ML_Compiler.exn_message (Runtime.EXCURSION_FAIL exn_info));
     1.9        true)
    1.10    | SOME (st', NONE) =>
    1.11        let