From 28f3f8046e2f1a034e7b68d977af875810fdc44e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 18 Feb 2025 20:50:06 -0800 Subject: [PATCH] #7559 --- src/ast/sls/sls_smt_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_smt_solver.cpp b/src/ast/sls/sls_smt_solver.cpp index cb2c895c4..4c27f57fa 100644 --- a/src/ast/sls/sls_smt_solver.cpp +++ b/src/ast/sls/sls_smt_solver.cpp @@ -100,7 +100,7 @@ namespace sls { unsigned num_external_in_unsat_vars() const override { return m_ddfw.num_external_in_unsat_vars(); } sat::bool_var add_var() override { m_dirty = true; return m_ddfw.add_var(); } void add_input_assertion(expr* f) { m_context.add_input_assertion(f); } - reslimit& rlimit() { return m_ddfw.rlimit(); } + reslimit& rlimit() override { return m_ddfw.rlimit(); } void shift_weights() override { m_ddfw.shift_weights(); } void force_restart() override { m_ddfw.force_restart(); }