--- a/src/Pure/System/isabelle_process.ML Wed Nov 28 16:09:05 2012 +0100
+++ b/src/Pure/System/isabelle_process.ML Wed Nov 28 17:18:53 2012 +0100
@@ -217,6 +217,7 @@
protocol_command "Isabelle_Process.options"
(fn [options_yxml] =>
let val options = Options.decode (YXML.parse_body options_yxml) in
+ ML_Statistics.enabled := Options.bool options "ML_statistics";
Multithreading.trace := Options.int options "threads_trace";
Multithreading.max_threads := Options.int options "threads";
if Multithreading.max_threads_value () < 2