src/Pure/General/path.scala

--- a/src/Pure/General/path.scala	Sat Jun 14 11:45:56 2025 +0200
+++ b/src/Pure/General/path.scala	Sat Jun 14 14:31:54 2025 +0200
@@ -315,7 +315,7 @@
     new Path(Path.norm_elems(elems.flatMap(eval)))
   }
 
-  def expand: Path = expand_env(Isabelle_System.settings_env())
+  def expand: Path = expand_env(Isabelle_System.Settings())
 
   def file_name: String = expand.base.implode