1.1 --- a/src/Pure/PIDE/command.ML	Sun Aug 25 17:17:48 2013 +0200
     1.2 +++ b/src/Pure/PIDE/command.ML	Sun Aug 25 20:32:26 2013 +0200
     1.3 @@ -131,7 +131,7 @@
     1.4  
     1.5  fun run int tr st =
     1.6    if Goal.future_enabled 1 andalso Keyword.is_diag (Toplevel.name_of tr) then
     1.7 -    (Goal.fork_params {name = "Toplevel.diag", pos = Toplevel.pos_of tr, pri = ~1}
     1.8 +    (Execution.fork {name = "Toplevel.diag", pos = Toplevel.pos_of tr, pri = ~1}
     1.9        (fn () => Toplevel.command_exception int tr st); ([], SOME st))
    1.10    else Toplevel.command_errors int tr st;
    1.11