diff options
Diffstat (limited to 'src/util/unsafe_interrupt_exception.h')
-rw-r--r-- | src/util/unsafe_interrupt_exception.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/util/unsafe_interrupt_exception.h b/src/util/unsafe_interrupt_exception.h index 3f6205232..29c22409c 100644 --- a/src/util/unsafe_interrupt_exception.h +++ b/src/util/unsafe_interrupt_exception.h @@ -19,11 +19,13 @@ #define CVC4__UNSAFE_INTERRUPT_EXCEPTION_H #include "base/exception.h" +#include "cvc4_export.h" namespace CVC4 { -class CVC4_PUBLIC UnsafeInterruptException : public CVC4::Exception { -public: +class CVC4_EXPORT UnsafeInterruptException : public CVC4::Exception +{ + public: UnsafeInterruptException() : Exception("Interrupted in unsafe state due to " "time/resource limit.") { @@ -36,7 +38,7 @@ public: UnsafeInterruptException(const char* msg) : Exception(msg) { } -};/* class UnsafeInterruptException */ +}; /* class UnsafeInterruptException */ }/* CVC4 namespace */ |