mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
Fixed compiler warning
This commit is contained in:
parent
44d05e5375
commit
22c9b9a797
|
@ -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);
|
||||
}
|
||||
};
|
||||
|
||||
|
|
Loading…
Reference in a new issue