--- a/src/Pure/ROOT.ML Thu Sep 04 17:24:18 2008 +0200
+++ b/src/Pure/ROOT.ML Thu Sep 04 19:45:12 2008 +0200
@@ -23,6 +23,7 @@
cd "General"; use "ROOT.ML"; cd "..";
(*concurrency within the ML runtime*)
+use "Concurrent/mailbox.ML";
use "Concurrent/schedule.ML";
(*fundamental structures*)