changeset 77316 | d17b0851a61a |
parent 76852 | 2915740fce1f |
child 77318 | 7a03477bf3d5 |
--- a/src/Pure/Tools/dump.scala Mon Feb 20 16:36:03 2023 +0100 +++ b/src/Pure/Tools/dump.scala Mon Feb 20 17:10:22 2023 +0100 @@ -97,7 +97,7 @@ skip_base: Boolean = false ): Context = { val session_options: Options = { - val options0 = if (NUMA.enabled) NUMA.policy_options(options) else options + val options0 = if (NUMA.available) NUMA.policy_options(options) else options val options1 = options0 + "parallel_proofs=0" +