mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-23 08:47:37 +00:00
Code Activity

Remove redundant overridden default destructors (#8191)

Browse source 
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
Copilot 2026-01-14 18:41:26 +00:00 • committed by Nikolaj Bjorner
parent 8266de787c
commit a3c10c68a7
14 changed files with 0 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/simplifiers/bv_bounds_simplifier.cpp
View file

@ -25,8 +25,6 @@ public:
updt_params(p);
}
~dom_bv_bounds_simplifier() override = default;
void updt_params(params_ref const & p) override {
m_propagate_eq = p.get_bool("propagate_eq", false);
}

1
src/ast/simplifiers/euf_completion.h
View file

@ -226,7 +226,6 @@ namespace euf {
bool is_gt(expr* a, expr* b) const;
public:
completion(ast_manager& m, dependent_expr_state& fmls);
~completion() override = default;
char const* name() const override { return "euf-completion"; }
void push() override;
void pop(unsigned n) override;