Fix brief dbprint of ParserState

p4lang · Aug 14, 2023 · 9209776 · 9209776
1 parent 9708a8e
commit 9209776
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ir/dbprint-p4.cpp b/ir/dbprint-p4.cpp
@@ -108,7 +108,9 @@ void IR::V1Parser::dbprint(std::ostream &out) const {
 }
 void IR::ParserException::dbprint(std::ostream &out) const { out << "IR::ParserException"; }
 void IR::ParserState::dbprint(std::ostream &out) const {
-    out << "state " << name << " " << annotations << "{" << indent;
+    out << "state " << name;
+    if (dbgetflags(out) & Brief) return;
+    out << " " << annotations << "{" << indent;
     for (auto s : components) out << Log::endl << s;
     if (selectExpression) out << Log::endl << selectExpression;
     out << " }" << unindent;