-
Alexandre Duret-Lutz authored
Fixes #129. * spot/twa/twa.cc (~twa): call unregister_all_my_variables() * spot/twa/twagraph.hh, spot/twa/twaproduct.cc, spot/twaalgos/stutter.cc: Simplify. * NEWS: Mention the change.
d22ecba9
Fixes #129. * spot/twa/twa.cc (~twa): call unregister_all_my_variables() * spot/twa/twagraph.hh, spot/twa/twaproduct.cc, spot/twaalgos/stutter.cc: Simplify. * NEWS: Mention the change.