From d74ff29c25f16f85b71da21630446dfda6672184 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 7 Dec 2021 13:55:31 -0800 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/tactic/core/dom_simplify_tactic.h | 2 +- src/tactic/portfolio/solver_subsumption_tactic.cpp | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/tactic/core/dom_simplify_tactic.h b/src/tactic/core/dom_simplify_tactic.h index b1f452d42..4e42ab9b6 100644 --- a/src/tactic/core/dom_simplify_tactic.h +++ b/src/tactic/core/dom_simplify_tactic.h @@ -131,7 +131,7 @@ public: ~dom_simplify_tactic() override; - char const* dom_simplify_tactic::name() const { return "dom_simplify"; } + char const* dom_simplify_tactic::name() const override { return "dom_simplify"; } tactic * translate(ast_manager & m) override; void updt_params(params_ref const & p) override {} diff --git a/src/tactic/portfolio/solver_subsumption_tactic.cpp b/src/tactic/portfolio/solver_subsumption_tactic.cpp index b2591f05c..6b275508b 100644 --- a/src/tactic/portfolio/solver_subsumption_tactic.cpp +++ b/src/tactic/portfolio/solver_subsumption_tactic.cpp @@ -105,12 +105,12 @@ class solver_subsumption_tactic : public tactic { vector> pre(mid, fmls.data()); vector> post(fmls.size() - mid, fmls.data() + mid); push(); - for (auto [p, f] : post) + for (auto const& [p, f] : post) assert_expr(f); simplify(pre, change); pop(); push(); - for (auto [p, f] : pre) + for (auto const& [p, f] : pre) assert_expr(f); simplify(post, change); pop();