diff --git a/src/engine/SignConstraint.cpp b/src/engine/SignConstraint.cpp index 24ca8da82..99cc34089 100644 --- a/src/engine/SignConstraint.cpp +++ b/src/engine/SignConstraint.cpp @@ -388,9 +388,6 @@ void SignConstraint::notifyLowerBound( unsigned variable, double bound ) !FloatUtils::gt( bound, getLowerBound( variable ) ) ) return; - if ( variable == 1637 ) - std::cout << "Updating variable LB to " << bound << std::endl; - // Otherwise - update bound setLowerBound( variable, bound ); @@ -442,8 +439,6 @@ void SignConstraint::notifyUpperBound( unsigned variable, double bound ) !FloatUtils::lt( bound, getUpperBound( variable ) ) ) return; - if ( variable == 1637 ) - std::cout << "Updating variable UB to " << bound << std::endl; // Otherwise - update bound setUpperBound( variable, bound );