mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-21 02:30:23 +00:00
Code Activity

Use override more. (#7059)

Browse source
This commit is contained in:
Bruce Mitchener 2023-12-15 15:44:57 +07:00 • committed by GitHub
parent f6e69d43a3
commit e90a844508
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 11 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/simplifiers/model_reconstruction_trail.h
View file

@ -90,7 +90,7 @@ class model_reconstruction_trail {
struct undo_model_var : public trail {
model_reconstruction_trail& s;
undo_model_var(model_reconstruction_trail& s) : s(s) {}
virtual void undo() {
void undo() override {
s.m_model_vars.mark(s.m_model_vars_trail.back(), false);
s.m_model_vars_trail.pop_back();
}