src/Pure/System/isabelle_process.ML
changeset 62713 c18a68a3a1f1
parent 62712 22a17cec2efe
child 62878 1cec457e0a03
     1.1 --- a/src/Pure/System/isabelle_process.ML	Sat Mar 26 12:35:11 2016 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Sat Mar 26 13:41:14 2016 +0100
     1.3 @@ -12,7 +12,6 @@
     1.4    val crashes: exn list Synchronized.var
     1.5    val init_protocol: string -> unit
     1.6    val init_options: unit -> unit
     1.7 -  val init_build_options: unit -> unit
     1.8    val init_protocol_options: Options.T -> unit
     1.9  end;
    1.10  
    1.11 @@ -216,10 +215,6 @@
    1.12    Multithreading.max_threads_update (Options.default_int "threads");
    1.13    Goal.parallel_proofs := Options.default_int "parallel_proofs");
    1.14  
    1.15 -fun init_build_options () =
    1.16 - (Options.load_default ();
    1.17 -  init_options ());
    1.18 -
    1.19  fun init_protocol_options options =
    1.20   (Options.set_default options;
    1.21    init_options ();