From 543a473993db14c1e9f1214e74544776d21ad82e Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <5377127+levnach@users.noreply.github.com>
Date: Tue, 16 Dec 2025 17:55:26 -1000
Subject: [PATCH] Update nlsat_explain.cpp

Remove a duplicate call
---
 src/nlsat/nlsat_explain.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/nlsat/nlsat_explain.cpp b/src/nlsat/nlsat_explain.cpp
index 2c744be4b..af5efae5f 100644
--- a/src/nlsat/nlsat_explain.cpp
+++ b/src/nlsat/nlsat_explain.cpp
@@ -457,8 +457,7 @@ namespace nlsat {
                 TRACE(nlsat_explain, tout << "lc: " << lc << " reduct: " << reduct << "\n";);
                 insert_fresh_factors_in_todo(lc);
                 if (!is_zero(lc) && sign(lc)) {
-                    insert_fresh_factors_in_todo(lc);
-                    TRACE(nlsat_explain, tout << "lc does no vaninsh\n";);
+                    TRACE(nlsat_explain, tout << "lc does no vanish\n";);
                     return;
                 }
                 add_zero_assumption(lc);