diff options
Diffstat (limited to 'src/parser/parser_exception.h')
-rw-r--r-- | src/parser/parser_exception.h | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/parser/parser_exception.h b/src/parser/parser_exception.h index 4c6341d43..8b6bd3b50 100644 --- a/src/parser/parser_exception.h +++ b/src/parser/parser_exception.h @@ -24,11 +24,13 @@ #include <sstream> #include "base/exception.h" +#include "cvc4_export.h" namespace CVC4 { namespace parser { -class CVC4_PUBLIC ParserException : public Exception { +class CVC4_EXPORT ParserException : public Exception +{ public: // Constructors ParserException() : d_filename(), d_line(0), d_column(0) {} @@ -74,9 +76,10 @@ class CVC4_PUBLIC ParserException : public Exception { std::string d_filename; unsigned long d_line; unsigned long d_column; -};/* class ParserException */ +}; /* class ParserException */ -class CVC4_PUBLIC ParserEndOfFileException : public ParserException { +class ParserEndOfFileException : public ParserException +{ public: // Constructors same as ParserException's @@ -94,7 +97,7 @@ class CVC4_PUBLIC ParserEndOfFileException : public ParserException { { } -};/* class ParserEndOfFileException */ +}; /* class ParserEndOfFileException */ }/* CVC4::parser namespace */ }/* CVC4 namespace */ |