# HG changeset patch
# User wenzelm
# Date 1278096257 -7200
# Node ID ad5489a6be482d0b9c0df1adc9ccdd57e0f92e8a
# Parent  6ec40bc934e109fc2151934f521f5e917c4c05b9
tuned white space;

diff -r 6ec40bc934e1 -r ad5489a6be48 src/Pure/Concurrent/future.ML
--- a/src/Pure/Concurrent/future.ML	Fri Jul 02 10:47:50 2010 +0200
+++ b/src/Pure/Concurrent/future.ML	Fri Jul 02 20:44:17 2010 +0200
@@ -284,7 +284,7 @@
       if forall (Thread.isActive o #1) (! workers) then ()
       else
         let
-          val  (alive, dead) = List.partition (Thread.isActive o #1) (! workers);
+          val (alive, dead) = List.partition (Thread.isActive o #1) (! workers);
           val _ = workers := alive;
         in
           Multithreading.tracing 0 (fn () =>