src/Pure/ROOT.ML
changeset 28155 27b3005de862
parent 28134 1179b32f885d
child 28164 a6bdc9b31477
     1.1 --- a/src/Pure/ROOT.ML	Sun Sep 07 17:48:50 2008 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sun Sep 07 22:19:31 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/future.ML";
     1.8  
     1.9  (*fundamental structures*)
    1.10  use "name.ML";