src/Pure/Tools/dump.scala

--- a/src/Pure/Tools/dump.scala	Sat Jul 22 13:31:55 2023 +0200
+++ b/src/Pure/Tools/dump.scala	Sat Jul 22 16:01:46 2023 +0200
@@ -98,7 +98,7 @@
     ): Context = {
       val session_options: Options = {
         val options1 =
-          Host.process_policy(options, Host.numa_node0()) +
+          Host.process_policy_options(options, Host.numa_node0()) +
             "parallel_proofs=0" +
             "completion_limit=0" +
             "editor_tracing_messages=0"