# HG changeset patch
# User wenzelm
# Date 1421318398 -3600
# Node ID 100db5cf5be545c6fda83820e8ba70b69a3dc132
# Parent  6193bbbbe5644b8e6957ef90a04df3d51735a070
tuned;

diff -r 6193bbbbe564 -r 100db5cf5be5 src/Pure/Tools/build.ML
--- a/src/Pure/Tools/build.ML	Wed Jan 14 17:24:55 2015 +0100
+++ b/src/Pure/Tools/build.ML	Thu Jan 15 11:39:58 2015 +0100
@@ -111,8 +111,8 @@
         |> Unsynchronized.setmp print_mode
             (space_explode "," (Options.string options "print_mode") @ print_mode_value ())
         |> Unsynchronized.setmp Goal.parallel_proofs (Options.int options "parallel_proofs")
+        |> Multithreading.max_threads_setmp (Options.int options "threads")
         |> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace")
-        |> Multithreading.max_threads_setmp (Options.int options "threads")
         |> Unsynchronized.setmp Future.ML_statistics true) thys)
     else
       Output.physical_stderr ("Skipping theories " ^ commas_quote (map #1 thys) ^