1.1 --- a/src/Pure/General/path.scala	Tue Jul 05 09:54:39 2011 +0200
     1.2 +++ b/src/Pure/General/path.scala	Tue Jul 05 10:54:05 2011 +0200
     1.3 @@ -138,11 +138,12 @@
     1.4  
     1.5    /* expand */
     1.6  
     1.7 -  def expand(env: String => String): Path =
     1.8 +  def expand: Path =
     1.9    {
    1.10      def eval(elem: Path.Elem): List[Path.Elem] =
    1.11        elem match {
    1.12 -        case Path.Variable(s) => Path.explode(env(s)).elems
    1.13 +        case Path.Variable(s) =>
    1.14 +          Path.explode(Isabelle_System.getenv_strict(s)).elems
    1.15          case x => List(x)
    1.16        }
    1.17