mirror of
https://github.com/boostorg/graph.git
synced 2026-02-25 16:32:09 +00:00
Merge pull request #23 from jakobandersen/develop
Update attribute delimiter for read_graphviz
This commit is contained in:
@@ -726,8 +726,8 @@ namespace read_graphviz_detail {
|
||||
}
|
||||
default: error("Wanted identifier as name of attribute");
|
||||
}
|
||||
if (peek().type == token::comma) {get(); continue;}
|
||||
break;
|
||||
if (peek().type == token::comma || peek().type == token::semicolon) get();
|
||||
else if(peek().type == token::right_bracket) break;
|
||||
}
|
||||
if (peek().type == token::right_bracket) get(); else error("Wanted right bracket to end attribute list");
|
||||
if (peek().type != token::left_bracket) break;
|
||||
|
||||
Reference in New Issue
Block a user