src/Pure/Isar/toplevel.ML
changeset 44270 3eaad39e520c
parent 44200 ce0112e26b3b
child 44304 7ee000ce5390
     1.1 --- a/src/Pure/Isar/toplevel.ML	Thu Aug 18 17:30:47 2011 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Thu Aug 18 17:53:32 2011 +0200
     1.3 @@ -84,7 +84,7 @@
     1.4    val unknown_context: transition -> transition
     1.5    val setmp_thread_position: transition -> ('a -> 'b) -> 'a -> 'b
     1.6    val status: transition -> Markup.T -> unit
     1.7 -  val error_msg: transition -> string -> unit
     1.8 +  val error_msg: transition -> serial * string -> unit
     1.9    val add_hook: (transition -> state -> state -> unit) -> unit
    1.10    val transition: bool -> transition -> state -> (state * (exn * string) option) option
    1.11    val command: transition -> state -> state
    1.12 @@ -567,7 +567,7 @@
    1.13    setmp_thread_position tr (fn () => Output.status (Markup.markup_only m)) ();
    1.14  
    1.15  fun error_msg tr msg =
    1.16 -  setmp_thread_position tr (fn () => Output.error_msg msg) ();
    1.17 +  setmp_thread_position tr (fn () => Output.error_msg' msg) ();
    1.18  
    1.19  
    1.20  (* post-transition hooks *)