diff --git a/src/ast/sls/sls_smt_plugin.h b/src/ast/sls/sls_smt_plugin.h
index 508d551ee..0ad28d6dc 100644
--- a/src/ast/sls/sls_smt_plugin.h
+++ b/src/ast/sls/sls_smt_plugin.h
@@ -27,6 +27,7 @@ namespace sls {
 
     class smt_context {
     public:
+        virtual ~smt_context() {}
         virtual ast_manager& get_manager() = 0;
         virtual params_ref get_params() = 0;
         virtual void initialize_value(expr* t, expr* v) = 0;