mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 10:52:02 +00:00
Code Activity

Merge pull request #1973 from waywardmonkeys/modernize-use-override

Browse source 
Use 'override' in new code.
This commit is contained in:
Nikolaj Bjorner 2018-11-27 10:37:35 -08:00 • committed by GitHub
commit 7b68d3d893
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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;