1 files changed, 5 insertions, 1 deletions
diff --git a/src/theory/arith/partial_model.cpp b/src/theory/arith/partial_model.cpp
index b1c8d1b64..3fae3751c 100644
--- a/src/theory/arith/partial_model.cpp
+++ b/src/theory/arith/partial_model.cpp
@@ -524,8 +524,12 @@ BoundsInfo ArithVariables::selectBoundsInfo(ArithVar v, bool old) const {
   }
 }
 
+bool ArithVariables::boundsQueueEmpty() const {
+  return d_boundsQueue.empty();
+}
+
 void ArithVariables::processBoundsQueue(BoundUpdateCallback& changed){
-  while(!d_boundsQueue.empty()){
+  while(!boundsQueueEmpty()){
     ArithVar v = d_boundsQueue.back();
     BoundsInfo prev = d_boundsQueue[v];
     d_boundsQueue.pop_back();