Removing TODO for 'Optimize via the iterator'. Not a priority. (#1051)

diff --git a/src/theory/arith/constraint.cpp b/src/theory/arith/constraint.cpp
index 3427edbd3e9925ee8f55782993eca30d7720760d..15f82d82bc48b5834f887bdab7095501c77527fc 100644 (file)
--- a/src/theory/arith/constraint.cpp
+++ b/src/theory/arith/constraint.cpp
@@ -438,18 +438,14 @@ ConstraintP Constraint::getCeiling() {
   Debug("getCeiling") << "Constraint_::getCeiling on " << *this << endl;
   Assert(getValue().getInfinitesimalPart().sgn() > 0);
 
-  DeltaRational ceiling(getValue().ceiling());
-
-  // TODO: "Optimize via the iterator"
+  const DeltaRational ceiling(getValue().ceiling());
   return d_database->getConstraint(getVariable(), getType(), ceiling);
 }
 
 ConstraintP Constraint::getFloor() {
   Assert(getValue().getInfinitesimalPart().sgn() < 0);
 
-  DeltaRational floor(Rational(getValue().floor()));
-
-  // TODO: "Optimize via the iterator"
+  const DeltaRational floor(Rational(getValue().floor()));
   return d_database->getConstraint(getVariable(), getType(), floor);
 }