src/Pure/General/path.scala

--- a/src/Pure/General/path.scala	Tue Jan 24 18:26:20 2023 +0100
+++ b/src/Pure/General/path.scala	Tue Jan 24 18:56:33 2023 +0100
@@ -283,7 +283,7 @@
 
   /* expand */
 
-  def expand_env(env: JMap[String, String]): Path = {
+  def expand_env(env: Isabelle_System.Settings): Path = {
     def eval(elem: Path.Elem): List[Path.Elem] =
       elem match {
         case Path.Variable(s) =>
@@ -297,7 +297,7 @@
     new Path(Path.norm_elems(elems.flatMap(eval)))
   }
 
-  def expand: Path = expand_env(Isabelle_System.settings())
+  def expand: Path = expand_env(Isabelle_System.settings_env())
 
   def file_name: String = expand.base.implode