diff --git a/spot/twaalgos/split.cc b/spot/twaalgos/split.cc index df4aa5863..6710a4101 100644 --- a/spot/twaalgos/split.cc +++ b/spot/twaalgos/split.cc @@ -28,8 +28,6 @@ namespace spot twa_graph_ptr split_2step(const const_twa_graph_ptr& aut, bdd input_bdd) { - if (!aut->acc().is_generalized_buchi()) - throw std::runtime_error("2step_split only works on TGBA"); auto split = make_twa_graph(aut->get_dict()); split->copy_ap_of(aut); split->copy_acceptance_of(aut); diff --git a/spot/twaalgos/split.hh b/spot/twaalgos/split.hh index 80947ebfb..a3d070d37 100644 --- a/spot/twaalgos/split.hh +++ b/spot/twaalgos/split.hh @@ -48,7 +48,7 @@ namespace spot SPOT_API twa_graph_ptr split_2step(const const_twa_graph_ptr& aut, bdd input_bdd); - /// \brief the reverse of 2step_split + /// \brief the reverse of split_2step SPOT_API twa_graph_ptr unsplit_2step(const const_twa_graph_ptr& aut); }