From c76adfaf19c6d7e6d0dd528d0126619f3d219010 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 31 Mar 2020 17:17:54 -0700
Subject: [PATCH] exit on success of patching

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/nla_core.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 6a5cbbb2e..28d3d2277 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -1383,6 +1383,7 @@ void core::patch_monomial_with_real_var(lpvar j) {
                 continue;
             if (try_to_patch(k, r * val(k))) { // r * val(k) gives the right value of k
                 m_to_refine.erase(j);
+                break;
             }
         }
     }