fix error in detecting tighter constraint

JuliaReach · Nov 7, 2018 · 0fc3c46 · 0fc3c46
1 parent 0c7b65a
commit 0fc3c46
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)