-
Alexandre Duret-Lutz authored
Client code should always call the destroy() method instead. (It was introduced in Spot 0.7.) * src/tgba/state.hh (state::~state): Make it protected.
29a908cc
To find the state of this project's repository at the time of any of these versions, check out the tags.