Merge branch 'master' of https://github.com/z3prover/z3

Z3Prover · Jul 1, 2022 · b618537 · b618537
2 parents 94a2477 + e054f16
commit b618537
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/sat/smt/recfun_solver.h b/src/sat/smt/recfun_solver.h
@@ -108,7 +108,7 @@ namespace recfun {
         bool is_shared(euf::theory_var v) const override { return true; }
         void init_search() override {}
         bool should_research(sat::literal_vector const& core) override;
-        bool is_beta_redex(euf::enode* p, euf::enode* n) const;
+        bool is_beta_redex(euf::enode* p, euf::enode* n) const override;
         void add_assumptions(sat::literal_set& assumptions) override;
         bool tracking_assumptions() override { return true; }
     };