From 845c0bfff00ba94e95e21f93f15328e685545ad7 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 10 Dec 2025 16:26:04 -1000
Subject: [PATCH] try not to fail in add_sgn_inv_leading_coeff_for

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/nlsat/levelwise.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/nlsat/levelwise.cpp b/src/nlsat/levelwise.cpp
index 3e084c63b..b6b12db69 100644
--- a/src/nlsat/levelwise.cpp
+++ b/src/nlsat/levelwise.cpp
@@ -586,7 +586,7 @@ namespace nlsat {
                     return;
              }
             // All coefficients vanish at the sample, so delineability cannot be established.
-            fail();
+            // fail();
         }
 
         // Extracted helper: check preconditions for an_del property; returns true if ok, false otherwise.