summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsbrandt <sbrandt@17b73243-c579-4c4c-a9d2-2d5706c11dac>2014-03-27 16:28:17 +0000
committersbrandt <sbrandt@17b73243-c579-4c4c-a9d2-2d5706c11dac>2014-03-27 16:28:17 +0000
commit795f5c62e47946f7b6aabae08b56bf13fb549e4c (patch)
tree675c6e5c594ca4ae74997abed5e59272d9c0f2a8
parent5cb1da0a59ce2da9344c9474e38f30b9b494bfa2 (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.hpp3
-rw-r--r--src/piraha/smart_ptr.hpp1
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)