1.1 --- a/src/Pure/PIDE/command.ML	Wed Sep 18 11:36:12 2013 +0200
     1.2 +++ b/src/Pure/PIDE/command.ML	Wed Sep 18 13:18:51 2013 +0200
     1.3 @@ -212,7 +212,7 @@
     1.4    Synchronized.var "Command.print_functions" ([]: (string * print_function) list);
     1.5  
     1.6  fun print_error tr e =
     1.7 -  (Toplevel.setmp_thread_position tr o Runtime.controlled_execution) e ()
     1.8 +  (Toplevel.setmp_thread_position tr o Toplevel.controlled_execution) e ()
     1.9      handle exn =>
    1.10        if Exn.is_interrupt exn then reraise exn
    1.11        else List.app (Future.error_msg (Toplevel.pos_of tr)) (ML_Compiler.exn_messages_ids exn);
    1.12 @@ -256,7 +256,7 @@
    1.13        let
    1.14          val params = {command_name = command_name, args = args};
    1.15        in
    1.16 -        (case Exn.capture (Runtime.controlled_execution get_pr) params of
    1.17 +        (case Exn.capture (Toplevel.controlled_execution get_pr) params of
    1.18            Exn.Res NONE => NONE
    1.19          | Exn.Res (SOME pr) => SOME (make_print name args pr)
    1.20          | Exn.Exn exn => SOME (bad_print name args exn))