From 2a6de5fd8270fc7ebb276a43a47fecfe2956c868 Mon Sep 17 00:00:00 2001
From: schillic <schillic@informatik.uni-freiburg.de>
Date: Wed, 25 Sep 2019 13:52:05 +0200
Subject: [PATCH] faster isdisjoint of CPA and HalfSpace

---
 src/ConcreteOperations/isdisjoint.jl | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/ConcreteOperations/isdisjoint.jl b/src/ConcreteOperations/isdisjoint.jl
index 63bb6daec9..86ee2b93cb 100644
--- a/src/ConcreteOperations/isdisjoint.jl
+++ b/src/ConcreteOperations/isdisjoint.jl
@@ -1386,9 +1386,7 @@ end
 # disambiguation
 function is_intersection_empty(cpa::CartesianProductArray{N},
                                hs::HalfSpace{N}) where {N<:Real}
-    return invoke(is_intersection_empty,
-                  Tuple{CartesianProductArray{N}, AbstractPolyhedron{N}},
-                  cpa, hs)
+    return is_intersection_empty_helper_halfspace(hs, cpa)
 end
 function is_intersection_empty(hs::HalfSpace{N},
                                cpa::CartesianProductArray{N}) where {N<:Real}