From 910b3023c22d32469b0a780280132d3bcb148ec0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 20 Jan 2024 14:01:01 -0800
Subject: [PATCH] free memory the clean way

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/polynomial/algebraic_numbers.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/math/polynomial/algebraic_numbers.cpp b/src/math/polynomial/algebraic_numbers.cpp
index 82f71a23d..06b4465d7 100644
--- a/src/math/polynomial/algebraic_numbers.cpp
+++ b/src/math/polynomial/algebraic_numbers.cpp
@@ -180,7 +180,7 @@ namespace algebraic_numbers {
             return m_upmanager;
         }
 
-        void del(basic_cell * c) {
+        void del_basic(basic_cell * c) {
             qm().del(c->m_value);
             m_allocator.deallocate(sizeof(basic_cell), c);
         }
@@ -207,7 +207,7 @@ namespace algebraic_numbers {
             if (a.is_null())
                 return;
             if (a.is_basic())
-                del(a.to_basic());
+                del_basic(a.to_basic());
             else
                 del(a.to_algebraic());
             a.clear();
@@ -795,7 +795,7 @@ namespace algebraic_numbers {
                 // root was found
                 scoped_mpq r(qm());
                 to_mpq(qm(), lower(c), r);
-                del(c);
+                del(a);
                 a = mk_basic_cell(r);
                 return false;
             }