diff -r e9b9af6da795 -r f935baefee46 src/Pure/Tools/profiling.scala
--- a/src/Pure/Tools/profiling.scala	Sat Jun 14 14:31:54 2025 +0200
+++ b/src/Pure/Tools/profiling.scala	Sat Jun 14 14:34:11 2025 +0200
@@ -82,12 +82,12 @@
         val eval_args =
           List("--eval", "use_thy " + ML_Syntax.print_string_bytes("~~/src/Tools/Profiling"))
         Isabelle_System.with_tmp_dir("profiling") { dir =>
-          val put_env = List("ISABELLE_PROFILING" -> dir.implode)
+          val putenv = List("ISABELLE_PROFILING" -> dir.implode)
           File.write(dir + Path.explode("args.yxml"), YXML.string_of_body(encode_args(args)))
           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.env(put_env)).result().check
+            env = Isabelle_System.Settings.env(putenv)).result().check
           decode_result(YXML.parse_body(Bytes.read(dir + Path.explode("result.yxml"))))
         }
       }