From cbce537b4ebc22bc929b52115a5686ea1deeff26 Mon Sep 17 00:00:00 2001
From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Mon, 16 Mar 2020 12:19:06 -0700
Subject: [PATCH] Fix antecedent loop. Whoops

---
 src/theory/arith/constraint.cpp | 8 ++++----
 1 file 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())
     {
-- 
2.30.2