diff --git a/spot/twaalgos/simulation.cc b/spot/twaalgos/simulation.cc index cddc529cc..e7b8979ed 100644 --- a/spot/twaalgos/simulation.cc +++ b/spot/twaalgos/simulation.cc @@ -27,7 +27,6 @@ #include #include #include -#include #include #include #include @@ -164,8 +163,6 @@ namespace spot throw std::runtime_error ("direct_simulation() does not yet support alternation"); - scc_info_.reset(new scc_info(in)); - unsigned ns = in->num_states(); size_a_ = ns; unsigned init_state_number = in->get_init_state_number(); @@ -710,8 +707,6 @@ namespace spot automaton_size stat; - std::unique_ptr scc_info_; - const const_twa_graph_ptr original_; };