Merge pull request #11627 from ethereum/allowEmptyFileName

Include locations with empty source name.
This commit is contained in:
chriseth
2021-07-07 12:52:49 +02:00
committed by GitHub
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;