From afdc7ddaf8c52467706bf8b8430fe97e21f56b0d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 11 Apr 2019 23:04:52 +0200
Subject: [PATCH] genem: remove call to cleanup_acceptance_here

* spot/twaalgos/genem.cc: Here.
---
 spot/twaalgos/genem.cc | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/spot/twaalgos/genem.cc b/spot/twaalgos/genem.cc
index 15408020d..2f7a50739 100644
--- a/spot/twaalgos/genem.cc
+++ b/spot/twaalgos/genem.cc
@@ -92,7 +92,8 @@ namespace spot
     generic_emptiness_check_main(const twa_graph_ptr& aut,
                                  twa_run_ptr run)
     {
-      cleanup_acceptance_here(aut, false);
+      // We used to call cleanup_acceptance_here(aut, false),
+      // but it turns out this is usually a waste of time.
       auto& aut_acc = aut->acc();
       if (aut_acc.is_f())
         return true;
@@ -107,7 +108,8 @@ namespace spot
             }
           return true;
         }
-
+      // FIXME: If there is acc.fin_unit() it, is
+      // probably a good idea to filter right away.
       scc_info si(aut, scc_info_options::STOP_ON_ACC);
 
       const int accepting_scc = si.one_accepting_scc();