From 324fb2194ba4873d3df2e0165212b5e69d3e7d47 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 25 Nov 2025 21:46:51 -0800
Subject: [PATCH] fix warnings in nra_solver

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/nra_solver.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/math/lp/nra_solver.cpp b/src/math/lp/nra_solver.cpp
index bcb33c5b7..63f16f8ef 100644
--- a/src/math/lp/nra_solver.cpp
+++ b/src/math/lp/nra_solver.cpp
@@ -128,7 +128,7 @@ struct solver::imp {
                 poly = poly * constant(den * coeff / denominators[v]);
                 p = p + poly;
             }
-            auto lit = add_constraint(p, ci, k);
+           add_constraint(p, ci, k);
         }
         definitions.reset();
     }
@@ -295,7 +295,6 @@ struct solver::imp {
         coeffs.push_back(mpz(-1));
         polynomial::polynomial_ref p(pm.mk_polynomial(2, coeffs.data(), mls),  pm);
         auto lit = mk_literal(p.get(), lp::lconstraint_kind::EQ);
-        nlsat::assumption a = nullptr;
         m_nlsat->mk_clause(1, &lit, nullptr);
     }