From f24decedc243aa4fa8f630f98fe3a8ea8862588c Mon Sep 17 00:00:00 2001 From: Mihai Budiu Date: Wed, 7 Nov 2018 10:06:31 -0800 Subject: [PATCH] Fix for issue #1569 (#1588) --- backends/graphs/parsers.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/backends/graphs/parsers.cpp b/backends/graphs/parsers.cpp index bfdd7895fb1..e7769f9453d 100644 --- a/backends/graphs/parsers.cpp +++ b/backends/graphs/parsers.cpp @@ -47,12 +47,12 @@ void ParserGraphs::postorder(const IR::P4Parser *parser) { label += "\n" + toString( state->selectExpression->to()->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;