diff options
Diffstat (limited to 'src/piraha/smart_ptr.hpp')
| -rw-r--r-- | src/piraha/smart_ptr.hpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/piraha/smart_ptr.hpp b/src/piraha/smart_ptr.hpp index 38c34b42..b49586e9 100644 --- a/src/piraha/smart_ptr.hpp +++ b/src/piraha/smart_ptr.hpp @@ -24,7 +24,6 @@ extern std::set<void*> *ptrs; #ifndef NDEBUG inline void add(void *t) { - abort(); if(t == NULL) return; if(ptrs == 0) |