Fix antecedent loop. Whoops

diff --git a/src/theory/arith/constraint.cpp b/src/theory/arith/constraint.cpp
index 98ce07fbc6d06a12585876fce01b4b4dfc65ac91..cdab772f85d1b5ce689ca185a280d897be996807 100644 (file)
--- 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())
     {