alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* spot/twaalgos/aiger.cc: Work around gcc snapshot diagnostics.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2023-12-18 10:04:15 +01:00
parent 55992b1ca2
commit 69c8187330
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
spot/twaalgos/aiger.cc
View file

@ -1331,6 +1331,7 @@ namespace spot
std::deque<unsigned> todo; std::deque<unsigned> todo;
todo.push_back(0); todo.push_back(0);
assert(n_max_states > 0);
std::vector<bool> seen(n_max_states, false); std::vector<bool> seen(n_max_states, false);
seen[0] = true; seen[0] = true;