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