From 29a857e258f00eaa4cfb29942e12ff5ea7e80abe Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 6 Apr 2020 16:16:15 -0700
Subject: [PATCH] fix the build

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

diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 426adcbc0..c36e7ac12 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -1376,10 +1376,6 @@ bool core::patch_blocker(lpvar u, const monic& m) const {
             TRACE("nla_solver", tout << "u = " << u << " blocked as used in a correct monomial\n";);
             return true;
         }
-        if (u == patched_j) {
-            TRACE("nla_solver", tout << "u = " << u << " is equal to patched\n";);            
-            return false;
-        }
 
         bool ret = u == m.var() || m.contains_var(u);