mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-22 05:43:39 +00:00
Code Activity

Use 'override' in new code.

Browse source
This commit is contained in:
Bruce Mitchener 2018-11-27 22:07:14 +07:00
parent a83097d5cc
commit 64ac929301
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/ast/recfun_decl_plugin.cpp
View file

@ -68,7 +68,7 @@ namespace recfun {
struct ite_find_p : public i_expr_pred { struct ite_find_p : public i_expr_pred {
ast_manager & m; ast_manager & m;
ite_find_p(ast_manager & m) : m(m) {} ite_find_p(ast_manager & m) : m(m) {}
virtual bool operator()(expr * e) { return m.is_ite(e); } bool operator()(expr * e) override { return m.is_ite(e); }
}; };
// ignore ites under quantifiers. // ignore ites under quantifiers.
// this is redundant as the code // this is redundant as the code
@ -331,7 +331,7 @@ namespace recfun {
struct is_imm_pred : is_immediate_pred { struct is_imm_pred : is_immediate_pred {
util & u; util & u;
is_imm_pred(util & u) : u(u) {} is_imm_pred(util & u) : u(u) {}
bool operator()(expr * rhs) { bool operator()(expr * rhs) override {
// find an `app` that is an application of a defined function // find an `app` that is an application of a defined function
struct find : public i_expr_pred { struct find : public i_expr_pred {
util & u; util & u;