-
Alexandre Duret-Lutz authored
It is already in acc_cond::acc_code::generalized_buchi() along with all other acceptance condition constructors. * spot/twa/acc.hh (acc_cond::generalized_buchi): Remove. * spot/tests/ikwiad.cc, spot/twaalgos/postproc.cc: Adjust.
fbf5ac0e