From 28a33f466a46d953292c35c400843b4e1d71d6e1 Mon Sep 17 00:00:00 2001 From: anwu1219 Date: Sat, 6 Jan 2024 00:35:41 -0800 Subject: [PATCH] remove redundant lines --- src/engine/SignConstraint.cpp | 5 ----- 1 file changed, 5 deletions(-) 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 );