src/Pure/System/isabelle_process.ML
changeset 50255 d0ec1f0d1d7d
parent 50254 935ac0ad7e83
child 50280 0eb9b5d09f31
     1.1 --- a/src/Pure/System/isabelle_process.ML	Wed Nov 28 16:09:05 2012 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Wed Nov 28 17:18:53 2012 +0100
     1.3 @@ -217,6 +217,7 @@
     1.4    protocol_command "Isabelle_Process.options"
     1.5      (fn [options_yxml] =>
     1.6        let val options = Options.decode (YXML.parse_body options_yxml) in
     1.7 +        ML_Statistics.enabled := Options.bool options "ML_statistics";
     1.8          Multithreading.trace := Options.int options "threads_trace";
     1.9          Multithreading.max_threads := Options.int options "threads";
    1.10          if Multithreading.max_threads_value () < 2