1.1 --- a/src/Pure/General/path.scala	Fri Aug 16 22:57:16 2013 +0200
     1.2 +++ b/src/Pure/General/path.scala	Fri Aug 16 23:11:51 2013 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4    private case object Parent extends Elem
     1.5  
     1.6    private def err_elem(msg: String, s: String): Nothing =
     1.7 -    error (msg + " path element specification " + quote(s))
     1.8 +    error(msg + " path element specification " + quote(s))
     1.9  
    1.10    private def check_elem(s: String): String =
    1.11      if (s == "" || s == "~" || s == "~~") err_elem("Illegal", s)
    1.12 @@ -170,7 +170,7 @@
    1.13          case Path.Variable(s) =>
    1.14            val path = Path.explode(Isabelle_System.getenv_strict(s))
    1.15            if (path.elems.exists(_.isInstanceOf[Path.Variable]))
    1.16 -            error ("Illegal path variable nesting: " + s + "=" + path.toString)
    1.17 +            error("Illegal path variable nesting: " + s + "=" + path.toString)
    1.18            else path.elems
    1.19          case x => List(x)
    1.20        }