author | wenzelm |
Thu, 11 Dec 2008 22:25:39 +0100 | |
changeset 29071 | 618216c658bb |
parent 29070 | 1b8b46d90112 |
child 29086 | 1afdab3e82d2 |
1.1 --- a/src/Pure/Concurrent/ROOT.ML Thu Dec 11 21:31:42 2008 +0100 1.2 +++ b/src/Pure/Concurrent/ROOT.ML Thu Dec 11 22:25:39 2008 +0100 1.3 @@ -4,7 +4,7 @@ 1.4 Concurrency within the ML runtime. 1.5 *) 1.6 1.7 -val future_scheduler = ref false; 1.8 +val future_scheduler = ref true; 1.9 1.10 use "simple_thread.ML"; 1.11 use "synchronized.ML";