src/Pure/System/session.ML

     val factor = Time.toReal (#cpu timing) / Time.toReal (#elapsed timing)
       |> Real.fmt (StringCvt.FIX (SOME 2));
 
     val _ =
       writeln ("\fTiming = " ^ ML_Syntax.print_properties
-        ([("threads", threads)] @ Timing.properties timing @ [("factor", factor)]));
+        ([("threads", threads)] @ Markup.timing_properties timing @ [("factor", factor)]));
     val _ =
       if verbose then
         Output.physical_stderr ("Timing " ^ name ^ " (" ^
           threads ^ " threads, " ^ Timing.message timing ^ ", factor " ^ factor ^ ")\n")
       else ();