1.1 --- a/src/Pure/Concurrent/future.ML	Fri Oct 03 00:12:13 2008 +0200
     1.2 +++ b/src/Pure/Concurrent/future.ML	Fri Oct 03 00:21:48 2008 +0200
     1.3 @@ -151,7 +151,8 @@
     1.4      val _ = trace_active ();
     1.5      val _ = Multithreading.tracing 3 (fn () => name ^ ": running");
     1.6      val ok = setmp_thread_data (name, task, group) run ();
     1.7 -    val _ = Multithreading.tracing 3 (fn () => name ^ ": finished");
     1.8 +    val _ = Multithreading.tracing 3
     1.9 +      (fn () => name ^ ": finished " ^ (if ok then "(ok)" else "(failed)"));
    1.10      val _ = SYNCHRONIZED "execute" (fn () =>
    1.11       (change queue (TaskQueue.finish task);
    1.12        if ok then ()