From 34631d972d0cf6f95611dbed6f6198148daf2b67 Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Tue, 14 Sep 2021 15:10:11 +0200 Subject: [PATCH] fix compiler warning --- src/math/polysat/ule_constraint.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/polysat/ule_constraint.h b/src/math/polysat/ule_constraint.h index f7e978db0..4190c40e3 100644 --- a/src/math/polysat/ule_constraint.h +++ b/src/math/polysat/ule_constraint.h @@ -36,7 +36,7 @@ namespace polysat { pdd const& lhs() const { return m_lhs; } pdd const& rhs() const { return m_rhs; } std::ostream& display(std::ostream& out, lbool status) const override; - std::ostream& display(std::ostream& out) const; + std::ostream& display(std::ostream& out) const override; bool is_always_false(bool is_positive, pdd const& lhs, pdd const& rhs) const; bool is_always_false(bool is_positive) const override; bool is_currently_false(solver& s, bool is_positive) const override;