src/Pure/ROOT.ML
changeset 32816 5db89f8d44f3
parent 32815 1a5e364584ae
child 32840 75dff0bd4d5d
--- 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 *)