1 files changed, 8 insertions, 8 deletions
diff --git a/src/parser/parser_exception.h b/src/parser/parser_exception.h
index d32914d8e..1f2d619ce 100644
--- a/src/parser/parser_exception.h
+++ b/src/parser/parser_exception.h
@@ -33,20 +33,20 @@ namespace parser {
 class CVC4_PUBLIC ParserException : public Exception {
 public:
   // Constructors
-  ParserException() :
+  ParserException() throw() :
     d_filename(),
     d_line(0),
     d_column(0) {
   }
 
-  ParserException(const std::string& msg) :
+  ParserException(const std::string& msg) throw() :
     Exception(msg),
     d_filename(),
     d_line(0),
     d_column(0) {
   }
 
-  ParserException(const char* msg) :
+  ParserException(const char* msg) throw() :
     Exception(msg),
     d_filename(),
     d_line(0),
@@ -54,7 +54,7 @@ public:
   }
 
   ParserException(const std::string& msg, const std::string& filename,
-                  unsigned long line, unsigned long column) :
+                  unsigned long line, unsigned long column) throw() :
     Exception(msg),
     d_filename(filename),
     d_line(line),
@@ -64,7 +64,7 @@ public:
   // Destructor
   virtual ~ParserException() throw() {}
 
-  virtual void toStream(std::ostream& os) const {
+  virtual void toStream(std::ostream& os) const throw() {
     if( d_line > 0 ) {
       os <<  "Parse Error: " << d_filename << ":" << d_line << "."
          << d_column << ": " << d_msg;
@@ -73,15 +73,15 @@ public:
     }
   }
 
-  std::string getFilename() const {
+  std::string getFilename() const throw() {
     return d_filename;
   }
 
-  int getLine() const {
+  int getLine() const throw() {
     return d_line;
   }
 
-  int getColumn() const {
+  int getColumn() const throw() {
     return d_column;
   }