1.1 --- a/src/Pure/Concurrent/simple_thread.ML	Sat Jul 25 00:39:05 2009 +0200
     1.2 +++ b/src/Pure/Concurrent/simple_thread.ML	Sat Jul 25 00:53:47 2009 +0200
     1.3 @@ -31,7 +31,7 @@
     1.4          let
     1.5            val _ = Multithreading.tracing 5 (fn () => name ^ ": locking ...");
     1.6            val time = Multithreading.real_time Mutex.lock lock;
     1.7 -          val _ = Multithreading.tracing_time time
     1.8 +          val _ = Multithreading.tracing_time true time
     1.9              (fn () => name ^ ": locked after " ^ Time.toString time);
    1.10          in false end;
    1.11      val result = Exn.capture (restore_attributes e) ();