(re)move exports

JuliaReach · Dec 12, 2019 · cc4097f · cc4097f
1 parent e46fc1a
commit cc4097f
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/src/Sets/VPolytope.jl b/src/Sets/VPolytope.jl
@@ -7,7 +7,9 @@ export VPolytope,
        cartesian_product,
        linear_map,
        remove_redundant_vertices,
-       minkowski_sum
+       minkowski_sum,
+       tohrep,
+       tovrep
 
 """
     VPolytope{N<:Real} <: AbstractPolytope{N}
@@ -555,10 +557,6 @@ function load_polyhedra_vpolytope() # function to be loaded by Requires
 return quote
 # see the interface file AbstractPolytope.jl for the imports
 
-export vertices_list,
-       tohrep,
-       tovrep
-
 # VPolytope from a VRep
 function VPolytope(P::VRep{N}) where {N}
     vertices = Vector{Vector{N}}()