From 0e6d53051893c0b9328aef9d71d0a572269db165 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 1 Jun 2021 18:49:37 -0700 Subject: [PATCH] std::cout Signed-off-by: Nikolaj Bjorner --- src/math/lp/int_gcd_test.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/math/lp/int_gcd_test.cpp b/src/math/lp/int_gcd_test.cpp index bc3ee5fe0..de73f9be6 100644 --- 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());