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

1 files changed, 6 insertions, 8 deletions

diff --git a/src/parser/cvc/cvc_input.h b/src/parser/cvc/cvc_input.h
index bc16d646e..c35d8d963 100644
--- a/src/parser/cvc/cvc_input.h
+++ b/src/parser/cvc/cvc_input.h
@@ -40,8 +40,7 @@ class CvcInput : public AntlrInput {
   /** The ANTLR3 CVC parser for the input. */
   pCvcParser d_pCvcParser;
 
-public:
-
+ public:
   /** Create an input.
    *
    * @param inputStream the input to parse
@@ -52,18 +51,18 @@ public:
   virtual ~CvcInput();
 
   /** Get the language that this Input is reading. */
-  InputLanguage getLanguage() const throw() {
+  InputLanguage getLanguage() const override
+  {
     return language::input::LANG_CVC4;
   }
 
-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 <code>Expr</code>
    * if there is no expression there to parse.
@@ -72,8 +71,7 @@ protected:
    */
   Expr parseExpr();
 
-private:
-
+ private:
   /** Initialize the class. Called from the constructors once the input stream
    * is initialized. */
   void init();