std::cout

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jun 2, 2021 · 0e6d530 · 0e6d530
1 parent 2156c74
commit 0e6d530
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/math/lp/int_gcd_test.cpp b/src/math/lp/int_gcd_test.cpp
@@ -75,7 +75,6 @@ namespace lp {
     }
 
     bool int_gcd_test::gcd_test() {
-        std::cout << "gcd-test\n";
         reset_parities();
         const auto & A = lra.A_r(); // getting the matrix
         for (unsigned i = 0; i < A.row_count(); i++)
@@ -156,8 +155,6 @@ namespace lp {
             return false;
         }
 
-        if (!least_coeff_is_unique)
-            lia.display_row(std::cout << "non-unique ", row);
 
         if (m_least_coeff.is_one() && !least_coeff_is_bounded) {
             SASSERT(gcds.is_one());