Skip to content

Commit

Permalink
Fix for issue #1569 (#1588)
Browse files Browse the repository at this point in the history
  • Loading branch information
Mihai Budiu authored Nov 7, 2018
1 parent c466044 commit f24dece
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions backends/graphs/parsers.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -47,12 +47,12 @@ void ParserGraphs::postorder(const IR::P4Parser *parser) {
label += "\n" + toString(
state->selectExpression->to<IR::SelectExpression>()->select);
}
(*out) << state->name << " [shape=rectangle,label=\"" <<
(*out) << state->name.name << " [shape=rectangle,label=\"" <<
label << "\"]" << std::endl;
}

for (auto edge : transitions[parser]) {
*out << edge->sourceState->name << " -> " << edge->destState->name <<
*out << edge->sourceState->name.name << " -> " << edge->destState->name.name <<
" [label=\"" << edge->label << "\"]" << std::endl;
}
*out << "}" << std::endl;
Expand Down

0 comments on commit f24dece

Please sign in to comment.