src/Pure/ML/ml_process.scala

--- a/src/Pure/ML/ml_process.scala	Sat Jun 14 11:45:56 2025 +0200
+++ b/src/Pure/ML/ml_process.scala	Sat Jun 14 14:31:54 2025 +0200
@@ -36,7 +36,7 @@
     args: List[String] = Nil,
     modes: List[String] = Nil,
     cwd: Path = Path.current,
-    env: JMap[String, String] = Isabelle_System.settings(),
+    env: JMap[String, String] = Isabelle_System.Settings.env(),
     redirect: Boolean = false,
     cleanup: () => Unit = () => ()
   ): Bash.Process = {