From 2f022782270bf4426ddd1fe2f11dbfefd47df107 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 1 May 2024 16:35:25 -0700 Subject: [PATCH] add virtual destructor to z3::object class Signed-off-by: Nikolaj Bjorner --- src/api/c++/z3++.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 4025be4fd..81a67066e 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -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);