-
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
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.