diff -r 4b014e6c1dfe -r 7799ec03b8bd src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Wed Oct 18 19:05:06 2023 +0200
+++ b/src/Pure/Tools/dump.scala	Wed Oct 18 19:26:37 2023 +0200
@@ -98,7 +98,7 @@
     ): Context = {
       val session_options: Options = {
         val options1 =
-          Host.process_policy_options(options, Host.numa_node0()) +
+          Host.numa_options(options, Host.numa_node0()) +
             "parallel_proofs=0" +
             "completion_limit=0" +
             "editor_tracing_messages=0"