diff --git a/src/Interfaces/AbstractPolyhedron_functions.jl b/src/Interfaces/AbstractPolyhedron_functions.jl index 85551f4f17..fd446076c2 100644 --- a/src/Interfaces/AbstractPolyhedron_functions.jl +++ b/src/Interfaces/AbstractPolyhedron_functions.jl @@ -1115,7 +1115,7 @@ function project(P::AbstractPolyhedron{N}, block::AbstractVector{Int}; clist = _project_polyhedron(P, block; kwargs...) end - if isbounded(P) + if isboundedtype(typeof(P)) return HPolytope(clist; check_boundedness=false) else return HPolyhedron(clist)