From 713eb6319df600e91ffdd1c0ded0ccfdf0a78995 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 9 Jun 2020 17:30:36 -0700
Subject: [PATCH] fix

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/lp_bound_propagator.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
index 0c0b1e279..136c5bcd3 100644
--- a/src/math/lp/lp_bound_propagator.h
+++ b/src/math/lp/lp_bound_propagator.h
@@ -341,9 +341,9 @@ public:
                     explain_fixed_in_row(rid, ex);
                     add_eq_on_columns(ex, x, x2);
                 }
-                return;
             }
-            if (k.is_zero()) {
+            if (k.is_zero() && y != null_lpvar && !is_equal(x, y) &&
+                is_int(x) == is_int(y)) {
                 explanation ex;
                 explain_fixed_in_row(rid, ex);
                 add_eq_on_columns(ex, x, y);