-
Alexandre Duret-Lutz authored
* src/tgba/bdddict.cc, src/tgba/bdddict.hh (unregister_all_typed_variables): New method. * src/tgbaalgos/degen.cc (degeneralize): Use it. * NEWS: Mention it.
b4670f85
* src/tgba/bdddict.cc, src/tgba/bdddict.hh (unregister_all_typed_variables): New method. * src/tgbaalgos/degen.cc (degeneralize): Use it. * NEWS: Mention it.