src/Pure/PIDE/document.ML

 (* toplevel transactions *)
 
 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
     SOME prf => Toplevel.status tr (Proof.status_markup prf)
   | NONE => ());