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

Adds missing override keywords.

1 files changed, 6 insertions, 3 deletions

diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index 80f8742a3..174263be0 100644
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -286,8 +286,11 @@ class TseitinCnfStream : public CnfStream {
    * @param removable is this something that can be erased
    * @param negated true if negated
    */
-  void convertAndAssert(TNode node, bool removable, bool negated,
-                        ProofRule rule, TNode from = TNode::null());
+  void convertAndAssert(TNode node,
+                        bool removable,
+                        bool negated,
+                        ProofRule rule,
+                        TNode from = TNode::null()) override;
 
  private:
   /**
@@ -328,7 +331,7 @@ class TseitinCnfStream : public CnfStream {
    */
   SatLiteral toCNF(TNode node, bool negated = false);
 
-  void ensureLiteral(TNode n, bool noPreregistration = false);
+  void ensureLiteral(TNode n, bool noPreregistration = false) override;
 
 }; /* class TseitinCnfStream */