Disable Piraha debugging code

git-svn-id: http://svn.cactuscode.org/flesh/trunk@5010 17b73243-c579-4c4c-a9d2-2d5706c11dac

1 files changed, 6 insertions, 1 deletions

diff --git a/src/piraha/smart_ptr.hpp b/src/piraha/smart_ptr.hpp
index 8b685b39..58555562 100644
--- a/src/piraha/smart_ptr.hpp
+++ b/src/piraha/smart_ptr.hpp
@@ -10,7 +10,12 @@
 
 extern std::set<void*> *ptrs;
 
-#ifdef NDEBUG
+// TODO: This code is disabled because it leads to segfaults during
+// startup. Most likely, this code is used during initialisation of
+// global variables, but also implicitly assumes that all global
+// variables have already been initialised.
+#if 0
+//#ifndef NDEBUG
 inline void add(std::set<void*>& v,void *t) {
     if(t == NULL)
         return;