From 49838057a4d07e86d0bd0e54ac01ced4c2853dd5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 29 Aug 2020 10:51:06 -0700
Subject: [PATCH] virtual method

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

diff --git a/src/sat/smt/sat_smt.h b/src/sat/smt/sat_smt.h
index 013515d94..ef0080f2a 100644
--- a/src/sat/smt/sat_smt.h
+++ b/src/sat/smt/sat_smt.h
@@ -38,6 +38,7 @@ namespace sat {
 
     class sat_internalizer {
     public:
+        virtual ~sat_internalizer() {}
         virtual bool is_bool_op(expr* e) const = 0;
         virtual sat::literal internalize(expr* e) = 0;
         virtual sat::bool_var add_bool_var(expr* e)  = 0;