-
* src/ta/taexplicit.cc, src/ta/taproduct.cc, src/taalgos/minimize.cc, src/taalgos/sba2ta.cc: changes to use the new method destroy() added to state.hh
bf01501e
* src/ta/taexplicit.cc, src/ta/taproduct.cc, src/taalgos/minimize.cc, src/taalgos/sba2ta.cc: changes to use the new method destroy() added to state.hh