diff --git a/common/interfaces.hh b/common/interfaces.hh index 7cea9fc5dc6eb9f528179e72eb9842f0f5f8cf1a..3278f8eb0fc7c52b95e38bd50fda6b675a4d7e1f 100644 --- a/common/interfaces.hh +++ b/common/interfaces.hh @@ -16,6 +16,11 @@ namespace Dune { delete the resulting pointer. */ virtual Cloneable* clone() const = 0; + + /** \brief Destructor */ + virtual ~Cloneable() + {} + }; //! Tagging interface to indicate that Grid provides typedef ObjectStreamType