# HG changeset patch
# User wenzelm
# Date 1243092104 -7200
# Node ID 6ce6801129de3eb657a69075b06f65305aed0c71
# Parent  c4c1692d4eee7a109d100c177a6f78bc74236840
getenv_strict needs to be based on getenv (accidentally broken in 0e88d33e8d19);

diff -r c4c1692d4eee -r 6ce6801129de src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Fri May 22 13:22:16 2009 -0700
+++ b/src/Pure/System/isabelle_system.scala	Sat May 23 17:21:44 2009 +0200
@@ -27,7 +27,7 @@
   }
 
   def getenv_strict(name: String) = {
-    val value = environment.get(name)
+    val value = getenv(name)
     if (value != "") value else error("Undefined environment variable: " + name)
   }