diff options
Diffstat (limited to 'src/base/check.h')
| -rw-r--r-- | src/base/check.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/check.h b/src/base/check.h index 434d38ede..70c5c9016 100644 --- a/src/base/check.h +++ b/src/base/check.h @@ -38,6 +38,7 @@ #include <ostream> #include "base/exception.h" +#include "cvc4_export.h" // Define CVC4_NO_RETURN macro replacement for [[noreturn]]. #if defined(SWIG) @@ -91,7 +92,7 @@ namespace CVC4 { // Class that provides an ostream and whose destructor aborts! Direct usage of // this class is discouraged. -class FatalStream +class CVC4_EXPORT FatalStream { public: FatalStream(const char* function, const char* file, int line); |