3 files changed, 6 insertions, 6 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h
index 7f64b9580..949c56605 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -794,7 +794,7 @@ public:
   public:
     ExprStream(Parser* parser) : d_parser(parser) {}
     ~ExprStream() { delete d_parser; }
-    Expr nextExpr() { return d_parser->nextExpression(); }
+    Expr nextExpr() override { return d_parser->nextExpression(); }
   };/* class Parser::ExprStream */
   
   //------------------------ operator overloading
diff --git a/src/parser/smt1/smt1.h b/src/parser/smt1/smt1.h
index 49a4b8000..1c15df5d3 100644
--- a/src/parser/smt1/smt1.h
+++ b/src/parser/smt1/smt1.h
@@ -103,7 +103,7 @@ public:
    */
   void addTheory(Theory theory);
 
-  bool logicIsSet();
+  bool logicIsSet() override;
 
   /**
    * Sets the logic for the current benchmark. Declares any logic and theory symbols.
diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h
index 94bc03235..71aa32492 100644
--- a/src/parser/smt2/smt2.h
+++ b/src/parser/smt2/smt2.h
@@ -84,12 +84,12 @@ public:
 
   bool isTheoryEnabled(Theory theory) const;
 
-  bool logicIsSet();
-  
+  bool logicIsSet() override;
+
   /**
    * Returns the expression that name should be interpreted as. 
    */
-  virtual Expr getExpressionForNameAndType(const std::string& name, Type t);
+  Expr getExpressionForNameAndType(const std::string& name, Type t) override;
 
   /** Make function defined by a define-fun(s)-rec command.
   *
@@ -135,7 +135,7 @@ public:
       std::vector<Expr>& bvs,
       bool bindingLevel = false);
 
-  void reset();
+  void reset() override;
 
   void resetAssertions();