Merge pull request #2760 from JuliaReach/schillic/project

Do not use isbounded in project
JuliaReach · Jul 2, 2021 · 03725b3 · 03725b3
2 parents fc0d957 + b7661eb
commit 03725b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)