1 files changed, 7 insertions, 0 deletions
diff --git a/src/theory/arith/partial_model.cpp b/src/theory/arith/partial_model.cpp
index 73f80a70d..4a126ec55 100644
--- a/src/theory/arith/partial_model.cpp
+++ b/src/theory/arith/partial_model.cpp
@@ -28,6 +28,13 @@ using namespace CVC4::theory;
 using namespace CVC4::theory::arith;
 
 
+bool ArithPartialModel::boundsAreEqual(ArithVar x){
+  if(hasLowerBound(x) && hasUpperBound(x)){
+    return d_upperBound[x] == d_lowerBound[x];
+  }else{
+    return false;
+  }
+}
 
 void ArithPartialModel::zeroDifferenceDetected(ArithVar x){
   Assert(d_dm.isDifferenceSlack(x));