src/Pure/ROOT.ML
changeset 32816 5db89f8d44f3
parent 32815 1a5e364584ae
child 32840 75dff0bd4d5d
     1.1 --- a/src/Pure/ROOT.ML	Thu Oct 01 18:10:41 2009 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Oct 01 18:21:11 2009 +0200
     1.3 @@ -57,8 +57,8 @@
     1.4  
     1.5  use "Concurrent/simple_thread.ML";
     1.6  use "Concurrent/synchronized.ML";
     1.7 -if Multithreading.available then () else
     1.8 -use "Concurrent/synchronized_dummy.ML";
     1.9 +if Multithreading.available then ()
    1.10 +else use "Concurrent/synchronized_sequential.ML";
    1.11  use "Concurrent/mailbox.ML";
    1.12  use "Concurrent/task_queue.ML";
    1.13  use "Concurrent/future.ML";
    1.14 @@ -67,7 +67,7 @@
    1.15  else use "Concurrent/lazy_sequential.ML";
    1.16  use "Concurrent/par_list.ML";
    1.17  if Multithreading.available then ()
    1.18 -else use "Concurrent/par_list_dummy.ML";
    1.19 +else use "Concurrent/par_list_sequential.ML";
    1.20  
    1.21  
    1.22  (* fundamental structures *)