diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 44f56efcd77..216e0358319 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -1522,11 +1522,6 @@ lbool core::check() {
             return l_false;
     }
 
-    if (no_effect() && params().arith_nl_nra()) {
-        ret = m_nra.check();
-        lp_settings().stats().m_nra_calls++;
-    }
-
     
     if (no_effect() && should_run_bounded_nlsat()) 
         ret = bounded_nlsat();