diff --git a/src/tgba/tgbaexplicit.hh b/src/tgba/tgbaexplicit.hh
index 0539b5f9d..420d8f446 100644
--- a/src/tgba/tgbaexplicit.hh
+++ b/src/tgba/tgbaexplicit.hh
@@ -272,7 +272,7 @@ namespace spot
     virtual bdd current_acceptance_conditions() const
     {
       assert(!done());
-      return it_->acceptance_conditions & all_acceptance_conditions_;
+      return it_->acceptance_conditions;
     }
 
     typename State::transitions_t::const_iterator