From fbf30128640767911223f9e9c9a20ee1cdac9b79 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 27 Oct 2024 22:24:45 -0700
Subject: [PATCH] add virtual destructor

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

diff --git a/src/ast/rewriter/bv2int_translator.h b/src/ast/rewriter/bv2int_translator.h
index 67c39c01a..97b8b76b8 100644
--- a/src/ast/rewriter/bv2int_translator.h
+++ b/src/ast/rewriter/bv2int_translator.h
@@ -18,6 +18,7 @@ Author:
 
 class bv2int_translator_trail {
 public:
+    virtual ~bv2int_translator_trail() {}
     virtual void push(push_back_vector<expr_ref_vector> const& c) = 0;
     virtual void push(push_back_vector<ptr_vector<app>> const& c) = 0;
     virtual void push_idx(set_vector_idx_trail<expr_ref_vector> const& c) = 0;