# HG changeset patch
# User wenzelm
# Date 1750066694 -7200
# Node ID b6c55abf5243f1745f2f355871b525a35700b489
# Parent  b49f65765c580bdc0519977bf7814356c290fbc1
more robust;

diff -r b49f65765c58 -r b6c55abf5243 src/Pure/System/other_isabelle.scala
--- a/src/Pure/System/other_isabelle.scala	Mon Jun 16 11:35:54 2025 +0200
+++ b/src/Pure/System/other_isabelle.scala	Mon Jun 16 11:38:14 2025 +0200
@@ -117,7 +117,7 @@
                 if_proper(result.err, "\n" + result.err) + error_context)
           }
         }
-        else getenv("ML_PLATFORM")
+        else getenv_strict("ML_PLATFORM")
 
       override def ml_options: String =
         proper_string(getenv("ML_OPTIONS")) getOrElse