diff options
| author | Marius Kintel <marius@kintel.net> | 2011-12-06 00:16:54 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2011-12-06 00:17:03 (GMT) |
| commit | 65a5aa23bfd78718972082f82eb7366d01a968a6 (patch) | |
| tree | 756394b55f73d9927fa61e8438d9ddf70d6d3dda /src/Tree.cc | |
| parent | d392ee33f6eb57d2d08a7a7703fb9118aa82698c (diff) | |
Refactoring: Use shared_ptr instead of our own shared pointer implementation for CSGTerm
Diffstat (limited to 'src/Tree.cc')
| -rw-r--r-- | src/Tree.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Tree.cc b/src/Tree.cc index 7c4866b..d27e198 100644 --- a/src/Tree.cc +++ b/src/Tree.cc @@ -4,6 +4,12 @@ #include <assert.h> #include <algorithm> +Tree::~Tree() +{ + this->nodecache.clear(); + this->nodeidcache.clear(); +} + /*! Returns the cached string representation of the subtree rooted by \a node. If node is not cached, the cache will be rebuilt. |