mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +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:17:06 -07:00
parent 04c55c34e5
commit 231a985bf9
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -470,6 +470,7 @@ namespace z3 {
context * m_ctx; context * m_ctx;
public: public:
object(context & c):m_ctx(&c) {} object(context & c):m_ctx(&c) {}
virtual ~object() = default;
context & ctx() const { return *m_ctx; } context & ctx() const { return *m_ctx; }
Z3_error_code check_error() const { return m_ctx->check_error(); } Z3_error_code check_error() const { return m_ctx->check_error(); }
friend void check_context(object const & a, object const & b); friend void check_context(object const & a, object const & b);