diff options
author | sbrandt <sbrandt@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2014-03-27 16:28:17 +0000 |
---|---|---|
committer | sbrandt <sbrandt@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2014-03-27 16:28:17 +0000 |
commit | 795f5c62e47946f7b6aabae08b56bf13fb549e4c (patch) | |
tree | 675c6e5c594ca4ae74997abed5e59272d9c0f2a8 | |
parent | 5cb1da0a59ce2da9344c9474e38f30b9b494bfa2 (diff) |
Take clang debug information into account.
git-svn-id: http://svn.cactuscode.org/flesh/trunk@5104 17b73243-c579-4c4c-a9d2-2d5706c11dac
-rw-r--r-- | src/piraha/Piraha.hpp | 3 | ||||
-rw-r--r-- | src/piraha/smart_ptr.hpp | 1 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/piraha/Piraha.hpp b/src/piraha/Piraha.hpp index deac2047..33da8715 100644 --- a/src/piraha/Piraha.hpp +++ b/src/piraha/Piraha.hpp @@ -174,7 +174,8 @@ public: bool match(Matcher *m); std::string fmt() { std::string s = "literal("; - s += c+")"; + s += c; + s += ")"; return s; } virtual void insert(std::ostream& o) { 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) |