changeset 49385 | d0fa3efec93b |
parent 49383 | dc538eef2cf2 |
child 49388 | 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