mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-02 20:31:21 +00:00
Code Activity

fix #1625

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-05-18 14:24:12 -07:00
parent e5b14ab682
commit 8302360321
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/c++/z3++.h
View file

@ -2301,12 +2301,12 @@ namespace z3 {
unsigned h() const { return m_h; } unsigned h() const { return m_h; }
}; };
optimize(context& c):object(c) { m_opt = Z3_mk_optimize(c); Z3_optimize_inc_ref(c, m_opt); } optimize(context& c):object(c) { m_opt = Z3_mk_optimize(c); Z3_optimize_inc_ref(c, m_opt); }
optimize(optimize& o):object(c) { optimize(optimize& o):object(o) {
Z3_optimize_inc_ref(o.ctx(), o.m_opt); Z3_optimize_inc_ref(o.ctx(), o.m_opt);
m_opt = o.m_opt; m_opt = o.m_opt;
} }
optimize& operator=(optimize const& o) { optimize& operator=(optimize const& o) {
Z3_optimize_inc_rec(o.ctx(), o.m_opt); Z3_optimize_inc_ref(o.ctx(), o.m_opt);
Z3_optimize_dec_ref(ctx(), m_opt); Z3_optimize_dec_ref(ctx(), m_opt);
m_opt = o.m_opt; m_opt = o.m_opt;
m_ctx = o.m_ctx; m_ctx = o.m_ctx;