From 0fc3c4645a783b24f66fe9aeb11de1502fd9ecf9 Mon Sep 17 00:00:00 2001
From: schillic <schillic@informatik.uni-freiburg.de>
Date: Wed, 7 Nov 2018 11:47:57 +0100
Subject: [PATCH] fix error in detecting tighter constraint

---
 src/concrete_intersection.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)