missing override specifiers per #4654

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 20, 2020 · 7708874 · 7708874
1 parent eef05e0
commit 7708874
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/smt/smt_solver.cpp b/src/smt/smt_solver.cpp
@@ -221,7 +221,7 @@ namespace {
             return m_context.user_propagate_register(e);
         }
 
-        void user_propagate_consequence(unsigned sz, unsigned const* ids, expr* conseq) {
+        void user_propagate_consequence(unsigned sz, unsigned const* ids, expr* conseq) override {
             m_context.user_propagate_consequence(sz, ids, conseq);
         }        
 

diff --git a/src/smt/user_propagator.h b/src/smt/user_propagator.h
@@ -97,6 +97,6 @@ namespace smt {
         bool include_func_interp(func_decl* f) override { return false; }
         bool can_propagate() override;
         void propagate() override; 
-        void display(std::ostream& out) const {}
+        void display(std::ostream& out) const override {}
     };
 };