virtual method

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 29, 2020 · 4983805 · 4983805
1 parent 98084d7
commit 4983805
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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;