From 39d28189235aba92da2f50a36ad864e7cf7fd66e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 2 Feb 2023 19:36:22 -0800 Subject: [PATCH] compiler warnings/bugs Signed-off-by: Nikolaj Bjorner --- src/solver/simplifier_solver.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/solver/simplifier_solver.cpp b/src/solver/simplifier_solver.cpp index 3ac84ea36..a717c4932 100644 --- a/src/solver/simplifier_solver.cpp +++ b/src/solver/simplifier_solver.cpp @@ -224,7 +224,7 @@ public: } proof_ref m_proof; - proof* get_proof_core() { + proof* get_proof_core() override { proof* p = s->get_proof(); m_proof = p; if (p) { @@ -271,7 +271,7 @@ public: std::string reason_unknown() const override { return s->reason_unknown(); } void set_reason_unknown(char const* msg) override { s->set_reason_unknown(msg); } void get_labels(svector& r) override { s->get_labels(r); } - void get_unsat_core(expr_ref_vector& r) { s->get_unsat_core(r); replace(r); } + void get_unsat_core(expr_ref_vector& r) override { s->get_unsat_core(r); replace(r); } ast_manager& get_manager() const override { return s->get_manager(); } void reset_params(params_ref const& p) override { s->reset_params(p); } params_ref const& get_params() const override { return s->get_params(); } @@ -313,7 +313,7 @@ public: clauses1.push_back(expr_ref_vector(m, c.size(), es.data() + offset)); offset += c.size(); } - return check_sat_cc(cube1, clauses1); + return s->check_sat_cc(cube1, clauses1); } lbool find_mutexes(expr_ref_vector const& vars, vector& mutexes) override {