missing override specifier

Z3Prover · Nov 13, 2022 · 0b83732 · 0b83732
1 parent 343603f
commit 0b83732
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/converters/expr_inverter.cpp b/src/ast/converters/expr_inverter.cpp
@@ -56,7 +56,7 @@ class basic_expr_inverter : public iexpr_inverter {
      *
      */
 
-    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());
         switch (f->get_decl_kind()) {
         case OP_ITE: