diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/base/exception.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/exception.h b/src/base/exception.h index 6b692abd9..0f053e415 100644 --- a/src/base/exception.h +++ b/src/base/exception.h @@ -26,7 +26,7 @@ namespace cvc5 { -class Exception : public std::exception +class CVC5_EXPORT Exception : public std::exception { protected: std::string d_msg; |