From c9ffe7417c1a7789ae16d24634029dbf6d2f8c80 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 7 Feb 2019 07:55:17 +0100 Subject: [PATCH] mark destructors virtual Signed-off-by: Nikolaj Bjorner --- src/sat/sat_solver.h | 2 +- src/sat/sat_solver_core.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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; }