# HG changeset patch
# User wenzelm
# Date 1458998878 -3600
# Node ID 8312e5d8d217d2ee63ee622857479859b53e5049
# Parent  63888e5f668b4b6c2fbc7686889210f49c942b11
obsolete -- done in Isabelle_Process.init_options;

diff -r 63888e5f668b -r 8312e5d8d217 src/Pure/Concurrent/multithreading.ML
--- a/src/Pure/Concurrent/multithreading.ML	Sat Mar 26 14:14:23 2016 +0100
+++ b/src/Pure/Concurrent/multithreading.ML	Sat Mar 26 14:27:58 2016 +0100
@@ -21,7 +21,6 @@
   val with_attributes: Thread.threadAttribute list -> (Thread.threadAttribute list -> 'a) -> 'a
   val max_threads_value: unit -> int
   val max_threads_update: int -> unit
-  val max_threads_setmp: int -> ('a -> 'b) -> 'a -> 'b
   val enabled: unit -> bool
   val sync_wait: Thread.threadAttribute list option -> Time.time option ->
     ConditionVar.conditionVar -> Mutex.mutex -> bool Exn.result
@@ -97,20 +96,9 @@
   if m > 0 then m else Int.min (Int.max (num_processors (), 1), 8);
 
 val max_threads = ref 1;
-
 fun max_threads_value () = ! max_threads;
-
 fun max_threads_update m = max_threads := max_threads_result m;
 
-fun max_threads_setmp m f x =
-  uninterruptible (fn restore_attributes => fn () =>
-    let
-      val max_threads_orig = ! max_threads;
-      val _ = max_threads_update m;
-      val result = Exn.capture (restore_attributes f) x;
-      val _ = max_threads := max_threads_orig;
-    in Exn.release result end) ();
-
 fun enabled () = max_threads_value () > 1;
 
 
diff -r 63888e5f668b -r 8312e5d8d217 src/Pure/Tools/build.ML
--- a/src/Pure/Tools/build.ML	Sat Mar 26 14:14:23 2016 +0100
+++ b/src/Pure/Tools/build.ML	Sat Mar 26 14:27:58 2016 +0100
@@ -157,7 +157,6 @@
         (List.app (build_theories symbols last_timing Path.current)
           |> session_timing name verbose
           |> Unsynchronized.setmp Output.protocol_message_fn protocol_message
-          |> Multithreading.max_threads_setmp (Options.default_int "threads")
           |> Exn.capture);
     val res2 = Exn.capture Session.finish ();
     val _ = Par_Exn.release_all [res1, res2];