mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

missing override specifier

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-11-12 18:35:41 -08:00
parent 343603f643
commit 0b83732b82
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ast/converters/expr_inverter.cpp
View file

@ -56,7 +56,7 @@ public:
* *
*/ */
bool operator()(func_decl* f, unsigned num, expr* const* args, expr_ref& r, expr_ref& side_cond) { bool operator()(func_decl* f, unsigned num, expr* const* args, expr_ref& r, expr_ref& side_cond) override {
SASSERT(f->get_family_id() == m.get_basic_family_id()); SASSERT(f->get_family_id() == m.get_basic_family_id());
switch (f->get_decl_kind()) { switch (f->get_decl_kind()) {
case OP_ITE: case OP_ITE: