diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
index 3c78c05ad..524e29b17 100644
--- a/src/math/lp/lp_bound_propagator.h
+++ b/src/math/lp/lp_bound_propagator.h
@@ -356,6 +356,7 @@ public:
         if (table.find(val(v), k)) {
             TRACE("cheap_eq", tout << "found k " ; k->print(tout) << "\n";);
             if (k->column() != v->column() &&
+                is_int(k->column()) == is_int(v->column()) &&
                 !is_equal(k->column(), v->column()))
                 report_eq(k, v);
         } else {