From 9e96ee91dce5426a999cf674a3727d3d4328181a Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 24 Feb 2026 05:11:31 +0000
Subject: [PATCH] Fix regression: use setup_solver_terms() instead of
 setup_solver_poly() in nra_solver check()

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/math/lp/nra_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/nra_solver.cpp b/src/math/lp/nra_solver.cpp
index dae20dc69..82c5d18d8 100644
--- a/src/math/lp/nra_solver.cpp
+++ b/src/math/lp/nra_solver.cpp
@@ -194,7 +194,7 @@ struct solver::imp {
         
         smt_params_helper p(m_params);
 
-	    setup_solver_poly();
+	    setup_solver_terms();
 
         TRACE(nra, m_nlsat->display(tout));