src/Pure/PIDE/document.ML
changeset 42012 2c3fe3cbebae
parent 41674 7da257539a8d
child 42328 61879dc97e72
     1.1 --- a/src/Pure/PIDE/document.ML	Sun Mar 20 21:20:07 2011 +0100
     1.2 +++ b/src/Pure/PIDE/document.ML	Sun Mar 20 21:28:11 2011 +0100
     1.3 @@ -241,9 +241,9 @@
     1.4          val is_proof = Keyword.is_proof (Toplevel.name_of tr);
     1.5          val do_print = not is_init andalso (Toplevel.print_of tr orelse is_proof);
     1.6  
     1.7 -        val start = start_timing ();
     1.8 +        val start = Timing.start ();
     1.9          val (errs, result) = run (is_init orelse is_proof) (Toplevel.set_print false tr) st;
    1.10 -        val _ = timing tr (end_timing start);
    1.11 +        val _ = timing tr (Timing.result start);
    1.12          val _ = List.app (Toplevel.error_msg tr) errs;
    1.13          val res =
    1.14            (case result of