From 6092bf534c38ffc9573e4f8475f418f31faacad9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 18 Feb 2023 14:18:02 -0800 Subject: [PATCH] fix #6599 --- src/sat/sat_prob.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/sat_prob.h b/src/sat/sat_prob.h index d8d58d0911a..69175815412 100644 --- a/src/sat/sat_prob.h +++ b/src/sat/sat_prob.h @@ -140,7 +140,7 @@ namespace sat { model const& get_model() const override { return m_model; } - double get_priority(bool_var v) const { return 0; } + double get_priority(bool_var v) const override { return 0; } std::ostream& display(std::ostream& out) const;