1.1 --- a/src/Pure/Concurrent/simple_thread.ML	Sat Jul 25 00:13:39 2009 +0200
     1.2 +++ b/src/Pure/Concurrent/simple_thread.ML	Sat Jul 25 00:39:05 2009 +0200
     1.3 @@ -29,12 +29,10 @@
     1.4        if Mutex.trylock lock then true
     1.5        else
     1.6          let
     1.7 -          val timer = Timer.startRealTimer ();
     1.8            val _ = Multithreading.tracing 5 (fn () => name ^ ": locking ...");
     1.9 -          val _ = Mutex.lock lock;
    1.10 -          val time = Timer.checkRealTimer timer;
    1.11 -          val _ = Multithreading.tracing_time time (fn () =>
    1.12 -            name ^ ": locked after " ^ Time.toString time);
    1.13 +          val time = Multithreading.real_time Mutex.lock lock;
    1.14 +          val _ = Multithreading.tracing_time time
    1.15 +            (fn () => name ^ ": locked after " ^ Time.toString time);
    1.16          in false end;
    1.17      val result = Exn.capture (restore_attributes e) ();
    1.18      val _ =