src/Pure/ROOT.ML
changeset 28164 a6bdc9b31477
parent 28155 27b3005de862
child 28200 5ef2c4bde4e5
     1.1 --- a/src/Pure/ROOT.ML	Mon Sep 08 00:25:34 2008 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon Sep 08 16:08:13 2008 +0200
     1.3 @@ -25,6 +25,7 @@
     1.4  (*concurrency within the ML runtime*)
     1.5  use "Concurrent/mailbox.ML";
     1.6  use "Concurrent/schedule.ML";
     1.7 +use "Concurrent/task_queue.ML";
     1.8  use "Concurrent/future.ML";
     1.9  
    1.10  (*fundamental structures*)