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

is_unabiguous: fix incorrect vector usage

Browse source 
* spot/twaalgos/isunamb.cc: Actually set the size of the vector
instead of just reserving the size.
This commit is contained in:
Alexandre Duret-Lutz 2017-08-01 18:04:07 +02:00
parent eb8df6d72c
commit 6b96aa4f27
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/twaalgos/isunamb.cc
View file

@ -89,8 +89,7 @@ namespace spot
// derive the usefulness from that. // derive the usefulness from that.
scc_info sccmap_prod(prod); scc_info sccmap_prod(prod);
unsigned psc = sccmap_prod.scc_count(); unsigned psc = sccmap_prod.scc_count();
std::vector<bool> useful; std::vector<bool> useful(psc);
useful.reserve(psc);
for (unsigned n = 0; n < psc; ++n) for (unsigned n = 0; n < psc; ++n)
{ {
unsigned one_state = sccmap_prod.states_of(n).front(); unsigned one_state = sccmap_prod.states_of(n).front();