From 5d7788533970a9e26873e910d6c589d42f02a3d2 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 18 Nov 2025 08:30:46 -1000
Subject: [PATCH] remove unused method

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/nlsat/nlsat_explain.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/nlsat/nlsat_explain.cpp b/src/nlsat/nlsat_explain.cpp
index 40990392c..8cefd9fa8 100644
--- a/src/nlsat/nlsat_explain.cpp
+++ b/src/nlsat/nlsat_explain.cpp
@@ -691,9 +691,6 @@ namespace nlsat {
             }
         }
         
-        void add_zero_assumption_on_factor(polynomial_ref& f) {
-            display(std::cout << "zero factors \n", f); 
-        }
         // this function also explains the value 0, if met
         bool coeffs_are_zeroes(polynomial_ref &s) {
             restore_factors _restore(m_factors, m_factors_save);