mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

add virtual destructor to z3::object class

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-05-01 16:35:25 -07:00
parent 19eb7225ea
commit 2f02278227
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -3179,7 +3179,7 @@ namespace z3 {
probe(context & c, double val):object(c) { Z3_probe r = Z3_probe_const(c, val); check_error(); init(r); }
probe(context & c, Z3_probe s):object(c) { init(s); }
probe(probe const & s):object(s) { init(s.m_probe); }
~probe() public override { Z3_probe_dec_ref(ctx(), m_probe); }
~probe() override { Z3_probe_dec_ref(ctx(), m_probe); }
operator Z3_probe() const { return m_probe; }
probe & operator=(probe const & s) {
Z3_probe_inc_ref(s.ctx(), s.m_probe);