1.1 --- a/src/Pure/System/isabelle_process.ML	Sun May 12 14:25:16 2013 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Sun May 12 15:05:15 2013 +0200
     1.3 @@ -237,6 +237,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 +        Options.set_default options;
     1.8          Future.ML_statistics := true;
     1.9          Multithreading.trace := Options.int options "threads_trace";
    1.10          Multithreading.max_threads := Options.int options "threads";