mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
mark destructors virtual
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
064c9faf11
commit
c9ffe7417c
|
@ -190,7 +190,7 @@ namespace sat {
|
|||
friend class scoped_detach;
|
||||
public:
|
||||
solver(params_ref const & p, reslimit& l);
|
||||
~solver();
|
||||
~solver() override;
|
||||
|
||||
// -----------------------
|
||||
//
|
||||
|
|
|
@ -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; }
|
||||
|
|
Loading…
Reference in a new issue