diff --git a/ChangeLog b/ChangeLog
index a0e459691..7dc7d4dab 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2005-05-25  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbaalgos/reductgba_sim_del.cc
+	(parity_game_graph_delayed::nb_set_acc_cond): Simplify.
+
 	* sanity/style.test: Catch misuses of Sgi::.
 	* tgba/tgbareduc.hh, tgbaalgos/reductgba_sim.cc,
 	tgbaalgos/reductgba_sim.hh, tgbaalgos/reductgba_sim_del.cc: Fix them.
diff --git a/src/tgbaalgos/reductgba_sim_del.cc b/src/tgbaalgos/reductgba_sim_del.cc
index 3e653ce8a..3890ca387 100644
--- a/src/tgbaalgos/reductgba_sim_del.cc
+++ b/src/tgbaalgos/reductgba_sim_del.cc
@@ -341,16 +341,7 @@ namespace spot
   int
   parity_game_graph_delayed::nb_set_acc_cond()
   {
-    bdd acc, all;
-    acc = all = automata_->all_acceptance_conditions();
-    int count = 0;
-    while (all != bddfalse)
-      {
-	sub_set_acc_cond_.push_back(bdd_satone(all));
-        all -= bdd_satone(all);
-	++count;
-      }
-    return count;
+    return automata_->number_of_acceptance_conditions();
   }
 
   // We build only node which are reachable