From 29a908cc8f98f953626bd6e1d2ac8620ecb190cc Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 30 Mar 2011 15:59:58 +0200 Subject: [PATCH] Protect the state destructor. 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. --- ChangeLog | 9 +++++++++ src/tgba/state.hh | 4 +--- 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 4ce9fd5e1..d0dfda404 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +2011-03-30 Alexandre Duret-Lutz + + Protect the state destructor. + + 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. + 2011-03-30 Alexandre Duret-Lutz Speedup tgba_product when one of the argument is a Kripke structure. diff --git a/src/tgba/state.hh b/src/tgba/state.hh index 8947bd89e..318510f8f 100644 --- a/src/tgba/state.hh +++ b/src/tgba/state.hh @@ -88,9 +88,7 @@ namespace spot delete this; } - // FIXME: Make the destructor protected after Spot 0.7. - //protected: - + protected: /// \brief Destructor. /// /// \deprecated Client code should now call