nodes is never empty at this stage, emplace_back() is called just previously

This commit is contained in:
Konstantinos Margaritis 2024-05-12 20:25:29 +03:00
parent a1fbe84660
commit 879cc0a183

View File

@ -358,9 +358,7 @@ bool doComponent(RoseBuild &rose, ReportManager &rm, NGHolder &g, NFAVertex a,
// single report ID on a vertex
if (is_match_vertex(a, g)) {
DEBUG_PRINTF("stop puffing due to vertex that leads to accept\n");
if (!nodes.empty()) {
nodes.pop_back();
}
break;
}
}