From f0f2cebb2968aba50e258eaff9b4fa868fd8d275 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 8 Aug 2024 14:50:17 -1000
Subject: [PATCH] remove printouts

---
 src/nlsat/nlsat_solver.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index d50752460..486d88cc6 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -1838,7 +1838,6 @@ namespace nlsat {
 
 //#linxi begin symmetry check
         void symmetry_check() {
-            std::cout << "sym called\n";
             unsigned arith_num = m_is_int.size();
             if (arith_num > 10000)
                 return ;
@@ -1923,7 +1922,6 @@ namespace nlsat {
             }
 //#linxi begin Variable Ordering Strategy
             else if (m_linxi_variable_ordering_strategy > 0) {
-                std::cout << "m_linxi_variable_ordering_strategy=" << m_linxi_variable_ordering_strategy << "\n";
                 run_variable_ordering_strategy();
                 reordered = true;
             }