mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-24 01:25:31 +00:00
Code Activity

Fixed compiler warning

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-11-09 18:06:53 +00:00
parent 890142ef96
commit d099e26342
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/sat/sat_clause.h
View file

@ -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);
}
};