src/Pure/Concurrent/simple_thread.ML

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