Enable -Wsuggest-override by default. (#1643)

Adds missing override keywords.

2 files changed, 4 insertions, 5 deletions

diff --git a/src/decision/decision_strategy.h b/src/decision/decision_strategy.h
index 25334b777..9b1033c86 100644
--- a/src/decision/decision_strategy.h
+++ b/src/decision/decision_strategy.h
@@ -55,8 +55,7 @@ public:
     DecisionStrategy(de, c) {
   }
 
-
-  bool needIteSkolemMap() { return true; }
+  bool needIteSkolemMap() override { return true; }
 
   virtual void addAssertions(const std::vector<Node> &assertions,
                              unsigned assertionsEnd,
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h
index 210ab4d5c..47cccfbe5 100644
--- a/src/decision/justification_heuristic.h
+++ b/src/decision/justification_heuristic.h
@@ -117,13 +117,13 @@ public:
 
   ~JustificationHeuristic();
 
-  prop::SatLiteral getNext(bool &stopSearch);
+  prop::SatLiteral getNext(bool &stopSearch) override;
 
   void addAssertions(const std::vector<Node> &assertions,
                      unsigned assertionsEnd,
-                     IteSkolemMap iteSkolemMap);
+                     IteSkolemMap iteSkolemMap) override;
 
-private:
+ private:
   /* getNext with an option to specify threshold */
   prop::SatLiteral getNextThresh(bool &stopSearch, DecisionWeight threshold);