changeset 51110 | ef0592498418 |
parent 50987 | 616789281413 |
child 51118 | 32a5994dd205 |
--- a/src/Pure/goal.ML Wed Feb 13 19:52:58 2013 +0100 +++ b/src/Pure/goal.ML Wed Feb 13 21:53:02 2013 +0100 @@ -182,7 +182,7 @@ (* scheduling parameters *) val parallel_proofs = Unsynchronized.ref 1; -val parallel_proofs_threshold = Unsynchronized.ref 50; +val parallel_proofs_threshold = Unsynchronized.ref 100; fun future_enabled_level n = Multithreading.enabled () andalso ! parallel_proofs >= n andalso