mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
add missing override
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
b02fec91cc
commit
e75d07c1c1
|
@ -19,6 +19,7 @@ Revision History:
|
|||
--*/
|
||||
|
||||
#include "ast/rewriter/expr_safe_replace.h"
|
||||
#include "ast/rewriter/var_subst.h"
|
||||
#include "ast/ast_pp.h"
|
||||
|
||||
|
||||
|
|
|
@ -23,7 +23,6 @@ Revision History:
|
|||
#define EXPR_SAFE_REPLACE_H_
|
||||
|
||||
#include "ast/ast.h"
|
||||
#include "ast/rewriter/var_subst.h"
|
||||
|
||||
class expr_safe_replace {
|
||||
ast_manager& m;
|
||||
|
|
|
@ -34,8 +34,8 @@ class recfun_replace : public recfun::replace {
|
|||
public:
|
||||
recfun_replace(ast_manager& m): m(m), m_replace(m) {}
|
||||
void reset() override { m_replace.reset(); }
|
||||
void insert(expr* s, expr* t) { m_replace.insert(s, t); }
|
||||
expr_ref operator()(expr* e) { expr_ref r(m); m_replace(e, r); return r; }
|
||||
void insert(expr* s, expr* t) override { m_replace.insert(s, t); }
|
||||
expr_ref operator()(expr* e) override { expr_ref r(m); m_replace(e, r); return r; }
|
||||
};
|
||||
|
||||
#endif /* RECFUN_REPLACE_H_ */
|
||||
|
|
Loading…
Reference in a new issue