From 039de6a2c80f6640cdfb6bb3db3add1f8c8e68a3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 11 Dec 2022 15:05:03 -0800 Subject: [PATCH] build issues Signed-off-by: Nikolaj Bjorner --- src/ast/simplifiers/extract_eqs.cpp | 6 +++--- src/ast/simplifiers/model_reconstruction_trail.h | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/ast/simplifiers/extract_eqs.cpp b/src/ast/simplifiers/extract_eqs.cpp index b2e264b1f..5c2851e91 100644 --- a/src/ast/simplifiers/extract_eqs.cpp +++ b/src/ast/simplifiers/extract_eqs.cpp @@ -34,7 +34,7 @@ namespace euf { public: basic_extract_eq(ast_manager& m) : m(m) {} - virtual void set_allow_booleans(bool f) { + void set_allow_booleans(bool f) override { m_allow_bool = f; } @@ -74,7 +74,7 @@ namespace euf { eqs.push_back(dependent_eq(e.fml(), to_app(x), expr_ref(m.mk_false(), m), d)); } - void updt_params(params_ref const& p) { + void updt_params(params_ref const& p) override { tactic_params tp(p); m_ite_solver = p.get_bool("ite_solver", tp.solve_eqs_ite_solver()); } @@ -263,7 +263,7 @@ namespace euf { } - void updt_params(params_ref const& p) { + void updt_params(params_ref const& p) override { tactic_params tp(p); m_enabled = p.get_bool("theory_solver", tp.solve_eqs_ite_solver()); } diff --git a/src/ast/simplifiers/model_reconstruction_trail.h b/src/ast/simplifiers/model_reconstruction_trail.h index 4ef58f790..7f8c7dc8f 100644 --- a/src/ast/simplifiers/model_reconstruction_trail.h +++ b/src/ast/simplifiers/model_reconstruction_trail.h @@ -49,7 +49,7 @@ class model_reconstruction_trail { entry(ast_manager& m, func_decl* h) : m_decl(h, m), m_def(m), m_dep(m) {} entry(ast_manager& m, func_decl* f, expr* def, expr_dependency* dep, vector const& rem) : - m_decl(f, m), m_def(def, m), m_removed(rem), m_dep(dep, m) {} + m_removed(rem), m_decl(f, m), m_def(def, m), m_dep(dep, m) {} bool is_loose() const { return !m_removed.empty(); }