Removing throw specifiers from src/parser/. (#1486)

1 files changed, 5 insertions, 6 deletions

diff --git a/src/parser/smt1/smt1_input.h b/src/parser/smt1/smt1_input.h
index c5a3d312e..7577b7bff 100644
--- a/src/parser/smt1/smt1_input.h
+++ b/src/parser/smt1/smt1_input.h
@@ -54,19 +54,19 @@ public:
   virtual ~Smt1Input();
 
   /** Get the language that this Input is reading. */
-  InputLanguage getLanguage() const throw() {
+  InputLanguage getLanguage() const override
+  {
     return language::input::LANG_SMTLIB_V1;
   }
 
-protected:
-
+ protected:
   /**
    * Parse a command from the input. Returns <code>NULL</code> if
    * there is no command there to parse.
    *
    * @throws ParserException if an error is encountered during parsing.
    */
-  Command* parseCommand();
+  Command* parseCommand() override;
 
   /**
    * Parse an expression from the input. Returns a null
@@ -76,8 +76,7 @@ protected:
    */
   Expr parseExpr();
 
-private:
-
+ private:
   /**
    * Initialize the class. Called from the constructors once the input
    * stream is initialized.