src/Pure/ML/ml_process.scala

--- a/src/Pure/ML/ml_process.scala	Sat Jun 14 22:35:48 2025 +0200
+++ b/src/Pure/ML/ml_process.scala	Sun Jun 15 13:13:37 2025 +0200
@@ -11,13 +11,6 @@
 
 
 object ML_Process {
-  /* settings */
-
-  def ml_identifier(env: Isabelle_System.Settings = Isabelle_System.Settings()): String =
-    Isabelle_System.getenv_strict("ML_SYSTEM", env = env) + "_" +
-    Isabelle_System.getenv_strict("ML_PLATFORM", env = env)
-
-
   /* heaps */
 
   def make_shasum(ancestors: List[SHA1.Shasum]): SHA1.Shasum =