diff options
Diffstat (limited to 'src/theory/arith/constraint.cpp')
-rw-r--r-- | src/theory/arith/constraint.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/arith/constraint.cpp b/src/theory/arith/constraint.cpp index cdab772f8..11c6c15a7 100644 --- a/src/theory/arith/constraint.cpp +++ b/src/theory/arith/constraint.cpp @@ -503,8 +503,7 @@ bool Constraint::hasSimpleFarkasProof() const // For each antecdent ... AntecedentId i = getConstraintRule().d_antecedentEnd; - for (ConstraintCP a = d_database->getAntecedent(i); - a != NullConstraint; + for (ConstraintCP a = d_database->getAntecedent(i); a != NullConstraint; a = d_database->getAntecedent(--i)) { // ... that antecdent must be an assumption ... |