diff --git a/src/sat/sat_solver.h b/src/sat/sat_solver.h
index 4249da5ba..d9f738e6c 100644
--- a/src/sat/sat_solver.h
+++ b/src/sat/sat_solver.h
@@ -190,7 +190,7 @@ namespace sat {
         friend class scoped_detach;
     public:
         solver(params_ref const & p, reslimit& l);
-        ~solver();
+        ~solver() override;
 
         // -----------------------
         //
diff --git a/src/sat/sat_solver_core.h b/src/sat/sat_solver_core.h
index 619a3e3a0..543a84fa7 100644
--- a/src/sat/sat_solver_core.h
+++ b/src/sat/sat_solver_core.h
@@ -29,7 +29,7 @@ namespace sat {
         reslimit&               m_rlimit;
     public:
         solver_core(reslimit& l) : m_rlimit(l) {}
-        ~solver_core() {}
+        virtual ~solver_core() {}
 
         virtual void pop_to_base_level() {}
         virtual bool at_base_lvl() const { return true; }