diff options
| author | Josh Blum | 2013-03-29 03:22:28 -0500 |
|---|---|---|
| committer | Josh Blum | 2013-03-29 03:22:28 -0500 |
| commit | e78ac3e9582f46670a904f119d2ee80d7310b42e (patch) | |
| tree | a24d20db2631c9d9e3d41642ee604228d5495e14 /lib/element.cpp | |
| parent | ca6d6b4a7786ecc3754532d85ed39da33684d5fc (diff) | |
| parent | d6f413965cc91fd239f7ba587e9550233b386cc5 (diff) | |
| download | sandhi-e78ac3e9582f46670a904f119d2ee80d7310b42e.tar.gz sandhi-e78ac3e9582f46670a904f119d2ee80d7310b42e.tar.bz2 sandhi-e78ac3e9582f46670a904f119d2ee80d7310b42e.zip | |
Merge branch 'master' into query_work
Diffstat (limited to 'lib/element.cpp')
| -rw-r--r-- | lib/element.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/element.cpp b/lib/element.cpp index 4adc92c..f291310 100644 --- a/lib/element.cpp +++ b/lib/element.cpp @@ -26,6 +26,11 @@ Element::Element(const std::string &name) if (GENESIS) std::cerr << "New element: " << to_string() << std::endl; } +Element::~Element(void) +{ + //NOP +} + ElementImpl::~ElementImpl(void) { if (this->executor) this->top_block_cleanup(); |