diff options
| -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) |