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.