diff options
| -rw-r--r-- | src/theory/arith/constraint.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/arith/constraint.cpp b/src/theory/arith/constraint.cpp index 98ce07fbc..cdab772f8 100644 --- a/src/theory/arith/constraint.cpp +++ b/src/theory/arith/constraint.cpp @@ -502,11 +502,11 @@ bool Constraint::hasSimpleFarkasProof() const } // For each antecdent ... - for (AntecedentId i = getConstraintRule().d_antecedentEnd; - i != AntecedentIdSentinel; - --i) + AntecedentId i = getConstraintRule().d_antecedentEnd; + for (ConstraintCP a = d_database->getAntecedent(i); + a != NullConstraint; + a = d_database->getAntecedent(--i)) { - ConstraintCP a = d_database->getAntecedent(i); // ... that antecdent must be an assumption ... if (a->isAssumption()) { |