fixed is_intersection_empty to use correct projection

JuliaReach · Jun 5, 2019 · 14a5980 · 14a5980
1 parent 5f033d7
commit 14a5980
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/is_intersection_empty.jl b/src/is_intersection_empty.jl
@@ -1389,7 +1389,7 @@ function is_intersection_empty(X::CartesianProductArray{N, S},
 
     approx_low_set = HPolytope(constraints_list(low_set));
 
-    if isdisjoint(approx_low_set, Approximations.project(Y, vars, LinearMap))
+    if isdisjoint(approx_low_set, Approximations.project(Y, vars))
       return true
     end