-
Alexandre Duret-Lutz authored
* src/twa/bdddict.cc, src/twa/bdddict.hh (unregister_all_typed_variables, oneacc_to_formula, register_acceptance_variables): Remove these unused methods.
24ef5a0b
* src/twa/bdddict.cc, src/twa/bdddict.hh (unregister_all_typed_variables, oneacc_to_formula, register_acceptance_variables): Remove these unused methods.