# HG changeset patch
# User wenzelm
# Date 1229030739 -3600
# Node ID 618216c658bb62d4b13246284ccfc639a3709832
# Parent  1b8b46d9011286fbe720898233bf4a4599489343
enable future_scheduler by default;

diff -r 1b8b46d90112 -r 618216c658bb src/Pure/Concurrent/ROOT.ML
--- 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";