Include locations with empty source name.

This commit is contained in:
chriseth
2021-07-07 12:13:52 +02:00
parent 69233c37bd
commit 6ba298c82b
3 changed files with 3 additions and 2 deletions
+1 -1
View File
@@ -83,7 +83,7 @@ Json::Value formatFatalError(string const& _type, string const& _message)
Json::Value formatSourceLocation(SourceLocation const* location)
{
Json::Value sourceLocation;
if (location && location->source && !location->source->name().empty())
if (location && location->source)
{
sourceLocation["file"] = location->source->name();
sourceLocation["start"] = location->start;