src/Pure/Thy/thy_info.ML
changeset 28435 97de495414e8
parent 28366 a75d4551ee00
child 28445 526b8adcd117
     1.1 --- a/src/Pure/Thy/thy_info.ML	Tue Sep 30 22:02:53 2008 +0200
     1.2 +++ b/src/Pure/Thy/thy_info.ML	Tue Sep 30 22:02:55 2008 +0200
     1.3 @@ -367,7 +367,7 @@
     1.4  
     1.5  fun schedule_tasks tasks n =
     1.6    let val m = Multithreading.max_threads_value () in
     1.7 -    if m <= 1 orelse n <= 1 then schedule_seq tasks
     1.8 +    if m <= 1 then schedule_seq tasks
     1.9      else if Multithreading.self_critical () then
    1.10       (warning (loader_msg "no multithreading within critical section" []);
    1.11        schedule_seq tasks)