diff options
Diffstat (limited to 'src/theory/interrupted.h')
-rw-r--r-- | src/theory/interrupted.h | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/src/theory/interrupted.h b/src/theory/interrupted.h index f7a269f0b..00afd3b2b 100644 --- a/src/theory/interrupted.h +++ b/src/theory/interrupted.h @@ -13,6 +13,8 @@ ** The theory output channel interface. **/ +#include "cvc4_private.h" + #ifndef __CVC4__THEORY__INTERRUPTED_H #define __CVC4__THEORY__INTERRUPTED_H @@ -21,14 +23,7 @@ namespace CVC4 { namespace theory { -class CVC4_PUBLIC Interrupted : public CVC4::Exception { -public: - - // Constructors - Interrupted() : CVC4::Exception("CVC4::Theory::Interrupted") {} - Interrupted(const std::string& msg) : CVC4::Exception(msg) {} - Interrupted(const char* msg) : CVC4::Exception(msg) {} - +class Interrupted : public CVC4::Exception { };/* class Interrupted */ }/* CVC4::theory namespace */ |