From 9fc7e6cfe01f19a8b68058ff500f827ed1c57a4f Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 16 Dec 2025 09:17:21 -1000 Subject: [PATCH] unsound state Signed-off-by: Lev Nachmanson --- src/nlsat/levelwise.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/nlsat/levelwise.cpp b/src/nlsat/levelwise.cpp index 77e7d88ff..8851e91ad 100644 --- a/src/nlsat/levelwise.cpp +++ b/src/nlsat/levelwise.cpp @@ -949,9 +949,6 @@ namespace nlsat { ::nlsat::display(tout, m_solver, a) << "\n"; ::nlsat::display(tout,m_solver, b)<< "\nresultant:"; ::nlsat::display(tout, m_solver, r) << "\n"); if (is_zero(r)) { - std::cout << "resultant of(" << pair.first << "," << pair.second << "):"; - ::nlsat::display(std::cout << "\n", m_solver, a) << "\n"; - ::nlsat::display(std::cout,m_solver, b)<< "\nresultant:"; ::nlsat::display(std::cout, m_solver, r) << "\n"; SASSERT(same_polynomial_up_to_constant(a, b)); continue; }