Remove quotes around filenames in position info

This commit is contained in:
Eelco Dolstra 2015-01-07 12:08:10 +01:00
parent 4d5c9d85ea
commit 6fec43ccb3

View file

@ -191,7 +191,7 @@ std::ostream & operator << (std::ostream & str, const Pos & pos)
if (!pos)
str << "undefined position";
else
str << (format(ANSI_BOLD "%1%" ANSI_NORMAL ":%2%:%3%") % pos.file % pos.line % pos.column).str();
str << (format(ANSI_BOLD "%1%" ANSI_NORMAL ":%2%:%3%") % (string) pos.file % pos.line % pos.column).str();
return str;
}