diff options
author | Josh Blum | 2013-04-04 22:24:51 -0700 |
---|---|---|
committer | Josh Blum | 2013-04-04 22:24:51 -0700 |
commit | dcd1a78f48dad1894921394ae75251e7eb9d1de3 (patch) | |
tree | fa03d69a330b3cf16985e64654b9b1efd0438c1d | |
parent | 0f493354d46706ed81b81699c4e5197ee2b82d08 (diff) | |
download | sandhi-dcd1a78f48dad1894921394ae75251e7eb9d1de3.tar.gz sandhi-dcd1a78f48dad1894921394ae75251e7eb9d1de3.tar.bz2 sandhi-dcd1a78f48dad1894921394ae75251e7eb9d1de3.zip |
gras: Element can have virtual destructor now
fixes #67
Now that we no longer need shared from this
-rw-r--r-- | include/gras/element.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/gras/element.hpp b/include/gras/element.hpp index 98286e2..78af403 100644 --- a/include/gras/element.hpp +++ b/include/gras/element.hpp @@ -49,7 +49,7 @@ struct GRAS_API Element : ElementBase template <typename T> Element(const boost::shared_ptr<T> &elem); - /*virtual*/ ~Element(void); + virtual ~Element(void); //! Convert this object to the element base class const Element &to_element(void) const; |