src/Pure/Thy/thy_info.ML

--- a/src/Pure/Thy/thy_info.ML	Mon Dec 22 19:47:58 2014 +0100
+++ b/src/Pure/Thy/thy_info.ML	Mon Dec 22 20:40:37 2014 +0100
@@ -222,11 +222,7 @@
 in
 
 fun schedule_tasks tasks =
-  if not (Multithreading.enabled ()) then schedule_seq tasks
-  else if Multithreading.self_critical () then
-     (warning "Theory loader: no multithreading within critical section";
-      schedule_seq tasks)
-  else schedule_futures tasks;
+  if Multithreading.enabled () then schedule_futures tasks else schedule_seq tasks;
 
 end;