--- a/src/Pure/Tools/build.ML Thu Jan 03 13:54:45 2013 +0100
+++ b/src/Pure/Tools/build.ML Thu Jan 03 14:03:44 2013 +0100
@@ -43,7 +43,7 @@
(Options.int options "parallel_proofs_threshold")
|> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace")
|> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads")
- |> Unsynchronized.setmp Future.ML_statistics (Options.bool options "ML_statistics")
+ |> Unsynchronized.setmp Future.ML_statistics true
|> no_document options ? Present.no_document
|> Unsynchronized.setmp quick_and_dirty (Options.bool options "quick_and_dirty")
|> Unsynchronized.setmp Toplevel.skip_proofs (Options.bool options "skip_proofs")