From f2d35ddc5eec3c1ad1c8ba292c5c7bef50993ca4 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 12 Aug 2024 08:32:01 -1000
Subject: [PATCH] more cleanup

---
 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 7c2dd1defe..c305154709 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -1780,9 +1780,7 @@ namespace nlsat {
 
         bool m_reordered = false;
         bool simple_check() {
-            // test_anum();
             literal_vector learned_unit;
-            // Simple_Checker checker(m_solver, m_pm, m_am, m_clauses, m_learned, m_atoms, m_is_int.size());
             simple_checker checker(m_pm, m_am, m_clauses, learned_unit, m_atoms, m_is_int.size());
             if (!checker())
                 return false;