From a39efbb0082ad54017a52d7bd6835db4fccb04b0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 5 Apr 2025 11:58:47 -0700
Subject: [PATCH] fix #7607

---
 src/math/lp/nla_core.cpp | 2 ++
 1 file changed, 2 insertions(+)

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++;
     }