From 0b5f163ba728c2cffe0dee3ab120f30e80dc435d Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Thu, 1 Feb 2024 12:13:49 +0100 Subject: [PATCH] fix warning --- src/sat/smt/polysat/ule_constraint.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sat/smt/polysat/ule_constraint.h b/src/sat/smt/polysat/ule_constraint.h index 5a90d294a..47c9b893c 100644 --- a/src/sat/smt/polysat/ule_constraint.h +++ b/src/sat/smt/polysat/ule_constraint.h @@ -41,8 +41,8 @@ namespace polysat { lbool weak_eval(assignment const& a) const override; lbool strong_eval(assignment const& a) const override; bool is_linear() const override { return lhs().is_linear_or_value() && rhs().is_linear_or_value(); } - void activate(core& c, bool sign, dependency const& dep); - bool propagate(core& c, lbool value, dependency const& dep) { return false; } + void activate(core& c, bool sign, dependency const& dep) override; + bool propagate(core& c, lbool value, dependency const& dep) override { return false; } bool is_eq() const { return m_rhs.is_zero(); } unsigned power_of_2() const { return m_lhs.power_of_2(); }