1 files changed, 3 insertions, 3 deletions
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);