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));