changeset 62925 | f1bdf10f95d8 |
parent 62924 | ce47945ce4fb |
child 63806 | c54a53ef1873 |
--- a/src/Pure/Concurrent/future.ML Sat Apr 09 14:11:31 2016 +0200 +++ b/src/Pure/Concurrent/future.ML Sat Apr 09 14:17:50 2016 +0200 @@ -311,7 +311,7 @@ val m = if ! do_shutdown andalso Task_Queue.all_passive (! queue) then 0 - else Multithreading.max_threads_value (); + else Multithreading.max_threads (); val _ = max_active := m; val _ = max_workers := 2 * m;