src/Pure/PIDE/execution.ML

--- a/src/Pure/PIDE/execution.ML	Mon Sep 09 19:00:53 2024 +0200
+++ b/src/Pure/PIDE/execution.ML	Mon Sep 09 19:40:18 2024 +0200
@@ -141,7 +141,7 @@
     val props =
       if ! Multithreading.trace >= 2
       then [(Markup.taskN, Task_Queue.str_of_task task)] else [];
-  in Output.status (map (Markup.markup_only o Markup.properties props) markups) end;
+  in Output.status (map (YXML.output_markup_only o Markup.properties props) markups) end;
 
 type params = {name: string, pos: Position.T, pri: int};