From 937248e561df43b5339124c7ac47762f4f2db9c8 Mon Sep 17 00:00:00 2001
From: Pierre PARUTTO <parutto@lrde.epita.fr>
Date: Fri, 6 Apr 2012 15:55:03 +0200
Subject: [PATCH] Correct a bug in tgba_explicit_succ_iterator class

* src/tgba/tgbaexplicit.hh (current_acceptance_conditiosn):
remove a suspect and in return statement
---
 src/tgba/tgbaexplicit.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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