more robust default options, notably for node consolidation;
authorwenzelm
Mon Sep 03 18:47:31 2018 +0200 (9 months ago)
changeset 68896e63eaae13165
parent 68895 cca4555f412d
child 68897 bdc38f0fd68c
more robust default options, notably for node consolidation;
src/Pure/Tools/dump.scala
     1.1 --- a/src/Pure/Tools/dump.scala	Mon Sep 03 18:45:03 2018 +0200
     1.2 +++ b/src/Pure/Tools/dump.scala	Mon Sep 03 18:47:31 2018 +0200
     1.3 @@ -80,7 +80,7 @@
     1.4  
     1.5    def make_options(options: Options, aspects: List[Aspect]): Options =
     1.6    {
     1.7 -    val options1 = options + "completion_limit=0" + "ML_statistics=false"
     1.8 +    val options1 = options + "completion_limit=0" + "ML_statistics=false" + "parallel_proofs=0"
     1.9      (options1 /: aspects)({ case (opts, aspect) => (opts /: aspect.options)(_ + _) })
    1.10    }
    1.11