--- a/src/Pure/Concurrent/ROOT.ML Thu Dec 11 21:31:42 2008 +0100
+++ b/src/Pure/Concurrent/ROOT.ML Thu Dec 11 22:25:39 2008 +0100
@@ -4,7 +4,7 @@
Concurrency within the ML runtime.
*)
-val future_scheduler = ref false;
+val future_scheduler = ref true;
use "simple_thread.ML";
use "synchronized.ML";