src/Pure/System/isabelle_process.ML
changeset 68025 7fb7a6366a40
parent 66020 a31760eee09d
child 69103 814a1ab42d70
--- a/src/Pure/System/isabelle_process.ML	Mon Apr 23 21:57:15 2018 +0100
+++ b/src/Pure/System/isabelle_process.ML	Tue Apr 24 11:03:51 2018 +0200
@@ -218,14 +218,14 @@
   Future.ML_statistics := Options.default_bool "ML_statistics";
   Multithreading.trace := Options.default_int "threads_trace";
   Multithreading.max_threads_update (Options.default_int "threads");
-  Goal.parallel_proofs := Options.default_int "parallel_proofs";
+  Multithreading.parallel_proofs := Options.default_int "parallel_proofs";
   let val proofs = Options.default_int "record_proofs"
   in if proofs < 0 then () else Proofterm.proofs := proofs end;
   Printer.show_markup_default := false);
 
 fun init_options_interactive () =
  (init_options ();
-  Goal.parallel_proofs := (if Options.default_int "parallel_proofs" > 0 then 3 else 0);
+  Multithreading.parallel_proofs := (if Options.default_int "parallel_proofs" > 0 then 3 else 0);
   Printer.show_markup_default := true);
 
 end;