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;