--- a/src/Pure/System/session.ML Sun Mar 20 21:20:07 2011 +0100
+++ b/src/Pure/System/session.ML Sun Mar 20 21:28:11 2011 +0100
@@ -101,13 +101,12 @@
(dumping dump) (get_rpath rpath) verbose (map Thy_Info.get_theory (Thy_Info.get_names ()));
if timing then
let
- val start = start_timing ();
+ val start = Timing.start ();
val _ = use root;
- val stop = end_timing start;
val _ =
Output.raw_stderr ("Timing " ^ item ^ " (" ^
string_of_int (Multithreading.max_threads_value ()) ^ " threads, " ^
- #message stop ^ ")\n");
+ Timing.message (Timing.result start) ^ ")\n");
in () end
else use root;
finish ()))