Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned white space;
authorwenzelm
Fri, 02 Jul 2010 20:44:17 +0200
changeset 37682 ad5489a6be48
parent 37681 6ec40bc934e1
child 37683 ece640e48a6c
tuned white space;
src/Pure/Concurrent/future.ML file | annotate | diff | comparison | revisions 
--- 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 () =>
isabelle