From 653a4ece428cf0f8878bbe2276d7de9331b568bc Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 10 Dec 2025 08:29:38 -1000
Subject: [PATCH] t

---
 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 2f5b602ee..663aa7893 100644
--- a/src/nlsat/levelwise.cpp
+++ b/src/nlsat/levelwise.cpp
@@ -836,7 +836,7 @@ or
                     mk_prop(prop_enum::connected, level_t(m_level - 1));
                     mk_prop(prop_enum::repr, level_t(m_level - 1)); 
                 }
-                mk_prop(prop_enum::an_del, polynomial_ref(m_I[m_level].l, m_pm));
+                mk_prop(prop_enum::an_del, m_I[m_level].l);
                 if (I.l == p.m_poly.get()) {
                     // nothing is added
                 } else {