diff --git a/ChangeLog b/ChangeLog
index f05941071..744be128b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2008-12-17  Guillaume SADEGH  <sadegh@lrde.epita.fr>
+	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  <sadegh@lrde.epita.fr>
 
 	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<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