From d099e2634247b128d50e357fb361b3808c19dbde Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 9 Nov 2016 18:06:53 +0000 Subject: [PATCH] Fixed compiler warning --- src/sat/sat_clause.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sat/sat_clause.h b/src/sat/sat_clause.h index 1aededbb6..27a0ed739 100644 --- a/src/sat/sat_clause.h +++ b/src/sat/sat_clause.h @@ -107,8 +107,8 @@ namespace sat { literal get_literal2() const { return to_literal(m_val2 >> 1); } bool is_learned() const { return (m_val2 & 1) == 1; } bool operator==(const bin_clause & other) const { - return m_val1 == other.m_val1 && m_val2 == other.m_val2 || - m_val1 == other.m_val2 && m_val2 == other.m_val1; + return (m_val1 == other.m_val1 && m_val2 == other.m_val2) || + (m_val1 == other.m_val2 && m_val2 == other.m_val1); } };