From 33652acd62b35bc0c92786927ce38bfebcbd6ca6 Mon Sep 17 00:00:00 2001 From: Guillaume Sadegh Date: Thu, 18 Dec 2008 23:49:01 +0100 Subject: [PATCH] Update to compile with GCC 4.4.0 (trunk). --- ChangeLog | 6 ++++++ src/tgba/tgbabddconcrete.cc | 4 ++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index f05941071..744be128b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2008-12-17 Guillaume SADEGH + Update to compile with GCC 4.4.0 (trunk). + + * src/tgba/tgbabddconcrete.cc (tgba_bdd_concrete::succ_iter): + Rename `state' as `local_state'. + 2008-12-11 Guillaume SADEGH Update to compile with the Intel compiler. diff --git a/src/tgba/tgbabddconcrete.cc b/src/tgba/tgbabddconcrete.cc index 311af1b7d..075e93ffa 100644 --- a/src/tgba/tgbabddconcrete.cc +++ b/src/tgba/tgbabddconcrete.cc @@ -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(state); + const state_bdd* s = dynamic_cast(local_state); assert(s); bdd succ_set = data_.relation & s->as_bdd(); // If we are in a product, inject the local conditions of