diff options
Diffstat (limited to 'src/base/exception.cpp')
| -rw-r--r-- | src/base/exception.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/base/exception.cpp b/src/base/exception.cpp index cddef79fd..ad50ec351 100644 --- a/src/base/exception.cpp +++ b/src/base/exception.cpp @@ -20,6 +20,7 @@ #include <cstdio> #include <cstdlib> #include <cstring> +#include <sstream> #include <string> #include "base/check.h" @@ -28,6 +29,13 @@ using namespace std; namespace CVC4 { +std::string Exception::toString() const +{ + std::stringstream ss; + toStream(ss); + return ss.str(); +} + thread_local LastExceptionBuffer* LastExceptionBuffer::s_currentBuffer = nullptr; LastExceptionBuffer::LastExceptionBuffer() : d_contents(nullptr) {} |