From 9c9fe712ad8ea579605a8f180cfbbc4773054c7b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 15 May 2020 10:36:53 -0700
Subject: [PATCH] disable nra in master

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/nla_core.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index fdf96b9ef..78d1a657e 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -1474,10 +1474,8 @@ lbool core::check(vector<lemma>& l_vec) {
             m_tangents.tangent_lemma();
     }
 
-#if 1
-    if (l_vec.empty() && !done()) 
+    if (false && l_vec.empty() && !done()) 
         ret = m_nra.check();
-#endif
 
     if (ret == l_undef && !l_vec.empty() && m_reslim.inc()) 
         ret = l_false;