From c6f8ee33d4bdee9b56c65768304561c3c8989a19 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 8 Mar 2022 08:36:14 -0800 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/sat/sat_solver.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/sat_solver.h b/src/sat/sat_solver.h index 98fd3259103..0f242bd4db8 100644 --- a/src/sat/sat_solver.h +++ b/src/sat/sat_solver.h @@ -374,7 +374,7 @@ namespace sat { void set_eliminated(bool_var v, bool f) override; bool was_eliminated(literal l) const { return was_eliminated(l.var()); } void set_phase(literal l) override { if (l.var() < num_vars()) m_best_phase[l.var()] = m_phase[l.var()] = !l.sign(); } - bool_var get_phase(bool_var b) { return m_phase.get(b, false); } + bool get_phase(bool_var b) { return m_phase.get(b, false); } void move_to_front(bool_var b); unsigned scope_lvl() const { return m_scope_lvl; } unsigned search_lvl() const { return m_search_lvl; }