src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Thu Oct 01 18:10:41 2009 +0200
+++ b/src/Pure/ROOT.ML	Thu Oct 01 18:21:11 2009 +0200
@@ -57,8 +57,8 @@
 
 use "Concurrent/simple_thread.ML";
 use "Concurrent/synchronized.ML";
-if Multithreading.available then () else
-use "Concurrent/synchronized_dummy.ML";
+if Multithreading.available then ()
+else use "Concurrent/synchronized_sequential.ML";
 use "Concurrent/mailbox.ML";
 use "Concurrent/task_queue.ML";
 use "Concurrent/future.ML";
@@ -67,7 +67,7 @@
 else use "Concurrent/lazy_sequential.ML";
 use "Concurrent/par_list.ML";
 if Multithreading.available then ()
-else use "Concurrent/par_list_dummy.ML";
+else use "Concurrent/par_list_sequential.ML";
 
 
 (* fundamental structures *)