changeset 27956 | 84bfb2162dd2 |
parent 27953 | b2003c98897c |
child 27962 | 28a306e675ba |
--- a/src/Pure/Tools/isabelle_system.scala Sat Aug 23 17:55:26 2008 +0200 +++ b/src/Pure/Tools/isabelle_system.scala Sat Aug 23 17:55:27 2008 +0200 @@ -20,7 +20,9 @@ if (value != null) value else "" } - class BadVariable(val name: String) extends Exception + class BadVariable(val name: String) extends Exception { + override def toString = "BadVariable: " + name + } def getenv_strict(name: String) = { val value = getenv(name)