1.1 --- a/src/HOL/ex/ROOT.ML	Sun Sep 20 17:23:23 2009 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Sun Sep 20 18:15:07 2009 +0200
     1.3 @@ -68,8 +68,7 @@
     1.4    "Landau"
     1.5  ];
     1.6  
     1.7 -Future.shutdown ();
     1.8 -(setmp_noncritical proofs 2 (setmp_noncritical Multithreading.max_threads 1 use_thy))
     1.9 +(setmp_noncritical proofs 2 (setmp_noncritical Goal.parallel_proofs 0 use_thy))
    1.10    "Hilbert_Classical";
    1.11  
    1.12  use_thy "SVC_Oracle";