From 20938f569f8884e9d76a44d4489a444eb0e494cd Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sat, 27 Sep 2025 07:22:33 -0800
Subject: [PATCH] remove a parameter

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

diff --git a/src/nlsat/nlsat_explain.cpp b/src/nlsat/nlsat_explain.cpp
index 4e726d45e..1c2d10c77 100644
--- a/src/nlsat/nlsat_explain.cpp
+++ b/src/nlsat/nlsat_explain.cpp
@@ -1121,7 +1121,7 @@ namespace nlsat {
             
             polynomial_ref_vector samples(m_pm);
             if (x < max_x)
-                cac_add_cell_lits(ps, x, samples);
+                cac_add_cell_lits(ps, x);
 
             while (true) {
                 if (all_univ(ps, x) && m_todo.empty()) {
@@ -1146,7 +1146,7 @@ namespace nlsat {
                 if (m_todo.empty())
                     break;
                 x = m_todo.extract_max_polys(ps);
-                cac_add_cell_lits(ps, x, samples);
+                cac_add_cell_lits(ps, x);
             }
         }