From 77088745d05e41f2d00522abd70aa25bfce13b9d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 20 Aug 2020 11:25:44 -0700 Subject: [PATCH] missing override specifiers per #4654 Signed-off-by: Nikolaj Bjorner --- src/smt/smt_solver.cpp | 2 +- src/smt/user_propagator.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/smt/smt_solver.cpp b/src/smt/smt_solver.cpp index 52cce7437..382bc9d3e 100644 --- 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 index b27a6aa93..208e94473 100644 --- 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 {} }; };