From 85f64566550cc6a73f89ff9f70d31ac60897483b Mon Sep 17 00:00:00 2001 From: Hennadii Chernyshchyk Date: Fri, 21 Jan 2022 16:32:25 +0200 Subject: [PATCH] Add missing constness (#5787) --- src/api/c++/z3++.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 2c8505f27..80432450d 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -1340,9 +1340,9 @@ namespace z3 { friend expr bvmul_no_overflow(expr const& a, expr const& b, bool is_signed); friend expr bvmul_no_underflow(expr const& a, expr const& b); - expr rotate_left(unsigned i) { Z3_ast r = Z3_mk_rotate_left(ctx(), i, *this); ctx().check_error(); return expr(ctx(), r); } - expr rotate_right(unsigned i) { Z3_ast r = Z3_mk_rotate_right(ctx(), i, *this); ctx().check_error(); return expr(ctx(), r); } - expr repeat(unsigned i) { Z3_ast r = Z3_mk_repeat(ctx(), i, *this); ctx().check_error(); return expr(ctx(), r); } + expr rotate_left(unsigned i) const { Z3_ast r = Z3_mk_rotate_left(ctx(), i, *this); ctx().check_error(); return expr(ctx(), r); } + expr rotate_right(unsigned i) const { Z3_ast r = Z3_mk_rotate_right(ctx(), i, *this); ctx().check_error(); return expr(ctx(), r); } + expr repeat(unsigned i) const { Z3_ast r = Z3_mk_repeat(ctx(), i, *this); ctx().check_error(); return expr(ctx(), r); } friend expr bvredor(expr const & a); friend expr bvredand(expr const & a);