diff -r b69ffb4051e8 -r 623cda9723c1 src/Pure/PIDE/markup.scala
--- a/src/Pure/PIDE/markup.scala	Mon Oct 06 16:41:54 2025 +0200
+++ b/src/Pure/PIDE/markup.scala	Mon Oct 06 16:58:30 2025 +0200
@@ -510,7 +510,7 @@
       val elapsed = Time.seconds(Elapsed.get(props))
       val cpu = Time.seconds(CPU.get(props))
       val gc = Time.seconds(GC.get(props))
-      isabelle.Timing(elapsed, cpu, gc)
+      isabelle.Timing.make(elapsed, cpu, gc)
     }
   }