1.1 --- a/src/Pure/PIDE/document.ML	Tue Nov 29 21:29:53 2011 +0100
     1.2 +++ b/src/Pure/PIDE/document.ML	Tue Nov 29 21:50:00 2011 +0100
     1.3 @@ -308,7 +308,7 @@
     1.4  local
     1.5  
     1.6  fun timing tr t =
     1.7 -  if Timing.is_relevant t then Toplevel.status tr (Markup.timing t) else ();
     1.8 +  if Timing.is_relevant t then Toplevel.status tr (Isabelle_Markup.timing t) else ();
     1.9  
    1.10  fun proof_status tr st =
    1.11    (case try Toplevel.proof_of st of