src/Pure/System/isabelle_process.ML
changeset 62712 22a17cec2efe
parent 62666 00aff1da05ae
child 62713 c18a68a3a1f1
     1.1 --- a/src/Pure/System/isabelle_process.ML	Sat Mar 26 12:22:15 2016 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Sat Mar 26 12:35:11 2016 +0100
     1.3 @@ -210,7 +210,8 @@
     1.4  (* init options *)
     1.5  
     1.6  fun init_options () =
     1.7 - (Future.ML_statistics := Options.default_bool "ML_statistics";
     1.8 + (ML_Pretty.print_depth (Options.default_int "ML_print_depth");
     1.9 +  Future.ML_statistics := Options.default_bool "ML_statistics";
    1.10    Multithreading.trace := Options.default_int "threads_trace";
    1.11    Multithreading.max_threads_update (Options.default_int "threads");
    1.12    Goal.parallel_proofs := Options.default_int "parallel_proofs");