changeset 50781 | a0f22c2d60cc |
parent 50777 | 20126dd9772c |
child 51045 | 630c0895d9d1 |
--- a/src/Pure/System/session.ML Wed Jan 09 12:22:09 2013 +0100 +++ b/src/Pure/System/session.ML Wed Jan 09 13:38:57 2013 +0100 @@ -98,7 +98,7 @@ 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 ^ " (" ^