diff options
Diffstat (limited to 'src/theory/arith/constraint.cpp')
| -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; |