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

Correct a bug in tgba_explicit_succ_iterator class

Browse source 
* src/tgba/tgbaexplicit.hh (current_acceptance_conditiosn):
remove a suspect and in return statement
This commit is contained in:
Pierre PARUTTO 2012-04-06 15:55:03 +02:00 • committed by Alexandre Duret-Lutz
parent 9cfc408262
commit 937248e561
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgba/tgbaexplicit.hh
View file

@ -272,7 +272,7 @@ namespace spot
virtual bdd current_acceptance_conditions() const virtual bdd current_acceptance_conditions() const
{ {
assert(!done()); assert(!done());
return it_->acceptance_conditions & all_acceptance_conditions_; return it_->acceptance_conditions;
} }
typename State::transitions_t::const_iterator typename State::transitions_t::const_iterator