diff --git a/src/math/lp/nra_solver.cpp b/src/math/lp/nra_solver.cpp
index 96a1c97a3..31b5f37a0 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));