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.h | |
parent | d392ee33f6eb57d2d08a7a7703fb9118aa82698c (diff) |
Refactoring: Use shared_ptr instead of our own shared pointer implementation for CSGTerm
Diffstat (limited to 'src/Tree.h')
-rw-r--r-- | src/Tree.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,7 +13,7 @@ class Tree { public: Tree(const AbstractNode *root = NULL) : root_node(root) {} - ~Tree() {} + ~Tree(); void setRoot(const AbstractNode *root); const AbstractNode *root() const { return this->root_node; } |