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

Adds missing override keywords.

1 files changed, 4 insertions, 4 deletions

diff --git a/src/proof/cnf_proof.h b/src/proof/cnf_proof.h
index a0d7096c0..9087817b3 100644
--- a/src/proof/cnf_proof.h
+++ b/src/proof/cnf_proof.h
@@ -171,20 +171,20 @@ public:
 
   void printAtomMapping(const std::set<Node>& atoms,
                         std::ostream& os,
-                        std::ostream& paren);
+                        std::ostream& paren) override;
 
   void printAtomMapping(const std::set<Node>& atoms,
                         std::ostream& os,
                         std::ostream& paren,
-                        ProofLetMap &letMap);
+                        ProofLetMap& letMap) override;
 
   void printClause(const prop::SatClause& clause,
                    std::ostream& os,
-                   std::ostream& paren);
+                   std::ostream& paren) override;
   void printCnfProofForClause(ClauseId id,
                               const prop::SatClause* clause,
                               std::ostream& os,
-                              std::ostream& paren);
+                              std::ostream& paren) override;
 };/* class LFSCCnfProof */
 
 } /* CVC4 namespace */