mirror of
https://github.com/Z3Prover/z3
synced 2025-04-24 09:35:32 +00:00
add missing override
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
fcc6e6c899
commit
6a61efbf99
1 changed files with 2 additions and 2 deletions
|
@ -198,13 +198,13 @@ public:
|
|||
m_proof_hint.reset();
|
||||
}
|
||||
|
||||
void end_learned() {
|
||||
void end_learned() override {
|
||||
m_checker.check(m_lits, m_proof_hint);
|
||||
m_lits.reset();
|
||||
m_proof_hint.reset();
|
||||
}
|
||||
|
||||
void end_deleted() {
|
||||
void end_deleted() override {
|
||||
m_lits.reset();
|
||||
m_proof_hint.reset();
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue