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

Update to compile with GCC 4.4.0 (trunk).

Browse source
This commit is contained in:
Guillaume Sadegh 2008-12-18 23:49:01 +01:00 • committed by Guillaume SADEGH
parent 1d58493be3
commit 33652acd62
2 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tgba/tgbabddconcrete.cc
View file

@ -92,11 +92,11 @@ namespace spot
}
tgba_succ_iterator_concrete*
tgba_bdd_concrete::succ_iter(const state* state,
tgba_bdd_concrete::succ_iter(const state* local_state,
const state* global_state,
const tgba* global_automaton) const
{
const state_bdd* s = dynamic_cast<const state_bdd*>(state);
const state_bdd* s = dynamic_cast<const state_bdd*>(local_state);
assert(s);
bdd succ_set = data_.relation & s->as_bdd();
// If we are in a product, inject the local conditions of