src/Pure/PIDE/protocol.ML
changeset 54717 42c209a6c225
parent 54562 301a721af68b
child 56333 38f1422ef473
     1.1 --- a/src/Pure/PIDE/protocol.ML	Wed Dec 11 00:17:09 2013 +0000
     1.2 +++ b/src/Pure/PIDE/protocol.ML	Wed Dec 11 18:02:22 2013 +0100
     1.3 @@ -18,7 +18,7 @@
     1.4          Options.set_default options;
     1.5          Future.ML_statistics := true;
     1.6          Multithreading.trace := Options.int options "threads_trace";
     1.7 -        Multithreading.max_threads := Options.int options "threads";
     1.8 +        Multithreading.max_threads_update (Options.int options "threads");
     1.9          Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 3 else 0)
    1.10        end);
    1.11