src/Pure/PIDE/execution.ML

               val _ =
                 (case result of
                   Exn.Exn exn =>
                    (status task [Markup.failed];
                     status task [Markup.finished];
-                    Output.report (Markup.markup_only Markup.bad);
+                    Output.report [Markup.markup_only Markup.bad];
                     if exec_id = 0 then ()
-                    else List.app (Future.error_msg pos) (Runtime.exn_messages_ids exn))
+                    else List.app (Future.error_message pos) (Runtime.exn_messages_ids exn))
                 | Exn.Res _ =>
                     status task [Markup.finished])
             in Exn.release result end);
 
       val _ = status (Future.task_of future) [Markup.forked];