diff --git a/src/concrete_intersection.jl b/src/concrete_intersection.jl
index ad8a1ea3b5..629a0f67c8 100644
--- a/src/concrete_intersection.jl
+++ b/src/concrete_intersection.jl
@@ -146,7 +146,7 @@ function intersection(P1::AbstractHPolygon{N},
         return false
     end
     @inline function is_first_constraint_tighter(lc1, lc2)
-        return lc1.a[1]/lc1.b <= lc2.a[1]/lc2.b
+        return lc1.b <= lc1.a[1]/lc2.a[1] * lc2.b
     end
 
     c1 = constraints_list(P1)