diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-10-01 11:36:45 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-01 11:36:45 -0700 |
| commit | d41c0aa8c7ec8d14ce07f5817da38895598e55da (patch) | |
| tree | 81d1767b4e2384df9d9a4fa90ed868d9419f9693 /src/theory/arith | |
| parent | da3b2212ed6befc0d29646ef65570919377913fe (diff) | |
Fix compiler warnings. (#2555)
Diffstat (limited to 'src/theory/arith')
| -rw-r--r-- | src/theory/arith/constraint.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/theory/arith/constraint.cpp b/src/theory/arith/constraint.cpp index f5c3eac08..ff71f6432 100644 --- a/src/theory/arith/constraint.cpp +++ b/src/theory/arith/constraint.cpp @@ -711,9 +711,8 @@ bool Constraint::wellFormedFarkasProof() const { } Debug("constraints::wffp") << "final sum: " << lhs << " <= " << rhs << endl; // 0 = lhs <= rhs < 0 - return - (lhs.isNull() || Constant::isMember(lhs) && Constant(lhs).isZero() ) && - rhs.sgn() < 0; + return (lhs.isNull() || (Constant::isMember(lhs) && Constant(lhs).isZero())) + && rhs.sgn() < 0; #else /* IS_PROOFS_BUILD */ return true; |