src/Pure/System/build.scala
changeset 48370 d0fa3efec93b
parent 48368 dc538eef2cf2
child 48373 527e2bad7cca
     1.1 --- a/src/Pure/System/build.scala	Fri Jul 20 17:43:55 2012 +0200
     1.2 +++ b/src/Pure/System/build.scala	Fri Jul 20 18:50:33 2012 +0200
     1.3 @@ -192,7 +192,7 @@
     1.4        catch {
     1.5          case ERROR(msg) =>
     1.6            error(msg + "\nThe error(s) above occurred in session entry " +
     1.7 -            quote(entry.name) + " (file " + quote(root.toString) + ")")
     1.8 +            quote(entry.name) + Position.str_of(Position.file(root)))
     1.9        })
    1.10    }
    1.11