mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
missing override specifiers per #4654
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
eef05e00af
commit
77088745d0
|
@ -221,7 +221,7 @@ namespace {
|
|||
return m_context.user_propagate_register(e);
|
||||
}
|
||||
|
||||
void user_propagate_consequence(unsigned sz, unsigned const* ids, expr* conseq) {
|
||||
void user_propagate_consequence(unsigned sz, unsigned const* ids, expr* conseq) override {
|
||||
m_context.user_propagate_consequence(sz, ids, conseq);
|
||||
}
|
||||
|
||||
|
|
|
@ -97,6 +97,6 @@ namespace smt {
|
|||
bool include_func_interp(func_decl* f) override { return false; }
|
||||
bool can_propagate() override;
|
||||
void propagate() override;
|
||||
void display(std::ostream& out) const {}
|
||||
void display(std::ostream& out) const override {}
|
||||
};
|
||||
};
|
||||
|
|
Loading…
Reference in a new issue