1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/arith/pure_update_simplex.cpp b/src/theory/arith/pure_update_simplex.cpp
index 9b3edfa6f..233fc292f 100644
--- a/src/theory/arith/pure_update_simplex.cpp
+++ b/src/theory/arith/pure_update_simplex.cpp
@@ -175,7 +175,7 @@ bool PureUpdateSimplexDecisionProcedure::attemptPureUpdates(){
 
       worthwhile = proposal.errorsChange() < 0 ||
         (proposal.focusDirection() > 0 &&
-         d_variables.boundCounts(curr).isZero() &&
+         d_variables.atBoundCounts(curr).isZero() &&
          !proposal.describesPivot());
 
       Debug("pu::refined")
@@ -188,11 +188,11 @@ bool PureUpdateSimplexDecisionProcedure::attemptPureUpdates(){
     if(worthwhile){
       Debug("pu") << d_variables.getAssignment(d_focusErrorVar) << endl;
 
-      BoundCounts before = d_variables.boundCounts(curr);
+      BoundCounts before = d_variables.atBoundCounts(curr);
       DeltaRational newAssignment =
         d_variables.getAssignment(curr) + proposal.nonbasicDelta();
       d_linEq.updateTracked(curr, newAssignment);
-      BoundCounts after = d_variables.boundCounts(curr);
+      BoundCounts after = d_variables.atBoundCounts(curr);
 
       ++d_statistics.d_pureUpdates;
       ++boundImprovements;