--- a/src/Pure/Concurrent/ROOT.ML	Tue Dec 16 00:19:47 2008 +0100
+++ b/src/Pure/Concurrent/ROOT.ML	Tue Dec 16 12:13:53 2008 +0100
@@ -1,15 +1,12 @@
 (*  Title:      Pure/Concurrent/ROOT.ML
-    ID:         $Id$
+    Author:     Makarius
 
 Concurrency within the ML runtime.
 *)
 
-val future_scheduler = ref true;
-
 use "simple_thread.ML";
 use "synchronized.ML";
 use "mailbox.ML";
-use "schedule.ML";
 use "task_queue.ML";
 use "future.ML";
 use "par_list.ML";