remove redundant lines

NeuralNetworkVerification · Jan 6, 2024 · 28a33f4 · 28a33f4
1 parent f665403
commit 28a33f4
Showing 1 changed file with 0 additions and 5 deletions.
diff --git 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 );