From 231a985bf9beb6aab9719324bd1f2e74f90c3d14 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 1 May 2024 16:17:06 -0700
Subject: [PATCH] add virtual destructor to z3::object class

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/c++/z3++.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index cb1446a08..5d0d9425e 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -470,6 +470,7 @@ namespace z3 {
         context * m_ctx;
     public:
         object(context & c):m_ctx(&c) {}
+        virtual ~object() = default;
         context & ctx() const { return *m_ctx; }
         Z3_error_code check_error() const { return m_ctx->check_error(); }
         friend void check_context(object const & a, object const & b);