From e5e886a442349602deffe52d98eb5a106006bf43 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 2 Nov 2004 13:53:20 +0000 Subject: [PATCH] * src/ltlast/formula.hh (ltl::formula::~formula): Make it protected. --- ChangeLog | 4 ++++ src/ltlast/formula.hh | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 502386768..52a837f64 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2004-11-02 Alexandre Duret-Lutz + + * src/ltlast/formula.hh (ltl::formula::~formula): Make it protected. + 2004-10-29 Alexandre Duret-Lutz A tgba can now annotate a transition (i.e., the position of a diff --git a/src/ltlast/formula.hh b/src/ltlast/formula.hh index 6d15b8449..40a6ef221 100644 --- a/src/ltlast/formula.hh +++ b/src/ltlast/formula.hh @@ -38,8 +38,6 @@ namespace spot class formula { public: - virtual ~formula(); - /// Entry point for vspot::ltl::visitor instances. virtual void accept(visitor& v) = 0; /// Entry point for vspot::ltl::const_visitor instances. @@ -61,6 +59,8 @@ namespace spot static void unref(formula* f); protected: + virtual ~formula(); + /// \brief increment reference counter if any virtual void ref_(); /// \brief decrement reference counter if any, return true when