src/Pure/Thy/thy_info.ML
changeset 25775 90525e67ede7
parent 25736 68834086f910
child 25994 d35484265f46
     1.1 --- a/src/Pure/Thy/thy_info.ML	Wed Jan 02 16:32:52 2008 +0100
     1.2 +++ b/src/Pure/Thy/thy_info.ML	Wed Jan 02 16:32:53 2008 +0100
     1.3 @@ -377,7 +377,7 @@
     1.4  in
     1.5  
     1.6  fun schedule_tasks tasks n =
     1.7 -  let val m = ! Multithreading.max_threads in
     1.8 +  let val m = Multithreading.max_threads_value () in
     1.9      if m <= 1 orelse n <= 1 then schedule_seq tasks
    1.10      else if Multithreading.self_critical () then
    1.11       (warning (loader_msg "no multithreading within critical section" []);