# HG changeset patch
# User wenzelm
# Date 1222804975 -7200
# Node ID 97de495414e82eddd3c32d8fab350af21f40c758
# Parent  56f0951f4d2635ccea71454e1a209d489039fabf
schedule_tasks: single theory is loaded concurrently as well (cf. concurrent Toplevel.excursion);

diff -r 56f0951f4d26 -r 97de495414e8 src/Pure/Thy/thy_info.ML
--- a/src/Pure/Thy/thy_info.ML	Tue Sep 30 22:02:53 2008 +0200
+++ b/src/Pure/Thy/thy_info.ML	Tue Sep 30 22:02:55 2008 +0200
@@ -367,7 +367,7 @@
 
 fun schedule_tasks tasks n =
   let val m = Multithreading.max_threads_value () in
-    if m <= 1 orelse n <= 1 then schedule_seq tasks
+    if m <= 1 then schedule_seq tasks
     else if Multithreading.self_critical () then
      (warning (loader_msg "no multithreading within critical section" []);
       schedule_seq tasks)