diff -r cd41e3903fbf -r eb65c9d17e2f src/Pure/PIDE/document.ML
--- a/src/Pure/PIDE/document.ML	Tue Nov 29 21:29:53 2011 +0100
+++ b/src/Pure/PIDE/document.ML	Tue Nov 29 21:50:00 2011 +0100
@@ -308,7 +308,7 @@
 local
 
 fun timing tr t =
-  if Timing.is_relevant t then Toplevel.status tr (Markup.timing t) else ();
+  if Timing.is_relevant t then Toplevel.status tr (Isabelle_Markup.timing t) else ();
 
 fun proof_status tr st =
   (case try Toplevel.proof_of st of