Remove unnecessary quotes around file names

This commit is contained in:
Eelco Dolstra 2014-04-04 17:58:23 +02:00
parent b72c8d2e5b
commit 8b31ffd10d

View file

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