let 'remove_redundant_constraints' return empty list

JuliaReach · Sep 28, 2024 · fa3bcd3 · fa3bcd3
1 parent 6e1f954
commit fa3bcd3
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/Interfaces/AbstractPolyhedron_functions.jl b/src/Interfaces/AbstractPolyhedron_functions.jl
@@ -235,7 +235,7 @@ Remove the redundant constraints of a given list of linear constraints.
                    linear program
 ### Output
 
-The list of constraints with the redundant ones removed, or an empty set if the
+The list of constraints with the redundant ones removed, or an empty list if the
 constraints are infeasible.
 
 ### Notes
@@ -253,8 +253,7 @@ function remove_redundant_constraints(constraints::AbstractVector{S};
     if remove_redundant_constraints!(constraints_copy; backend=backend)
         return constraints_copy
     else  # the constraints are infeasible
-        N = eltype(first(constraints))
-        return EmptySet{N}(dim(constraints[1]))
+        return Vector{eltype(constraints)}(undef, 0)
     end
 end