Fix unreadVariable warning

This commit is contained in:
Konstantinos Margaritis
2024-05-15 17:05:50 +03:00
parent 36118e9de3
commit 4bb3f4445f
14 changed files with 30 additions and 27 deletions

View File

@@ -854,9 +854,7 @@ void replaceSubgraphWithLazySpecial(NGHolder &g, ReachSubgraph &rsi,
assert(rsi.repeatMax >= rsi.repeatMin);
DEBUG_PRINTF("entry\n");
const unordered_set<NFAVertex> involved(rsi.vertices.begin(),
rsi.vertices.end());
vector<NFAVertex> g_succs;
getSuccessors(g, rsi, &g_succs);