diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 2d7e453ec..cc9d9388c 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -1556,6 +1556,8 @@ lbool core::check() {
     }
 
     if (no_effect() && params().arith_nl_nra()) {
+        scoped_limits sl(m_reslim);
+        sl.push_child(&m_nra_lim);
         ret = m_nra.check();
         lp_settings().stats().m_nra_calls++;
     }