• Alexandre Duret-Lutz's avatar
    bdddict: remove dead code · 24ef5a0b
    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
bdddict.hh 8.95 KB