diff -r e0fb46018187 -r e9b9af6da795 src/Pure/Tools/profiling.scala
--- a/src/Pure/Tools/profiling.scala	Sat Jun 14 11:45:56 2025 +0200
+++ b/src/Pure/Tools/profiling.scala	Sat Jun 14 14:31:54 2025 +0200
@@ -87,7 +87,7 @@
           val session_heaps =
             ML_Process.session_heaps(store, session_background, logic = session_name)
           ML_Process(store.options, session_background, session_heaps, args = eval_args,
-            env = Isabelle_System.settings(put_env)).result().check
+            env = Isabelle_System.Settings.env(put_env)).result().check
           decode_result(YXML.parse_body(Bytes.read(dir + Path.explode("result.yxml"))))
         }
       }