Fix build virtual destructor warning in Vtr::Refinement

This commit is contained in:
manuelk 2014-11-17 18:14:32 -08:00
parent 2b6e8432bd
commit 0513ef1461

View File

@ -75,7 +75,7 @@ class Refinement {
public:
Refinement(Level const & parent, Level & child, Sdc::Options const& schemeOptions);
~Refinement();
virtual ~Refinement();
Level const& parent() const { return *_parent; }
Level const& child() const { return *_child; }