diff options
Diffstat (limited to 'src/piraha/smart_ptr.hpp')
-rw-r--r-- | src/piraha/smart_ptr.hpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/piraha/smart_ptr.hpp b/src/piraha/smart_ptr.hpp index 71e3b4d6..38c34b42 100644 --- a/src/piraha/smart_ptr.hpp +++ b/src/piraha/smart_ptr.hpp @@ -8,6 +8,8 @@ #define NULL ((void*)0) #endif +#define NDEBUG + namespace cctki_piraha { // This global debug variable is used to detect the case @@ -22,6 +24,7 @@ extern std::set<void*> *ptrs; #ifndef NDEBUG inline void add(void *t) { + abort(); if(t == NULL) return; if(ptrs == 0) |