src/Pure/PIDE/command.ML
changeset 51605 eca8acb42e4a
parent 51603 92fda7beace4
child 52509 2193d2c7f586
     1.1 --- a/src/Pure/PIDE/command.ML	Wed Apr 03 20:56:08 2013 +0200
     1.2 +++ b/src/Pure/PIDE/command.ML	Wed Apr 03 21:30:32 2013 +0200
     1.3 @@ -63,9 +63,8 @@
     1.4  
     1.5  fun run int tr st =
     1.6    if Goal.future_enabled () andalso Keyword.is_diag (Toplevel.name_of tr) then
     1.7 -    Toplevel.setmp_thread_position tr (fn () =>
     1.8 -      (Goal.fork_name "Toplevel.diag" ~1 (fn () => Toplevel.command_exception int tr st);
     1.9 -        ([], SOME st))) ()
    1.10 +    (Goal.fork_params {name = "Toplevel.diag", pos = Toplevel.pos_of tr, pri = ~1}
    1.11 +      (fn () => Toplevel.command_exception int tr st); ([], SOME st))
    1.12    else Toplevel.command_errors int tr st;
    1.13  
    1.14  fun check_cmts tr cmts st =