From cc4097fae0f493a9fd882e5bde79e32289368f36 Mon Sep 17 00:00:00 2001
From: schillic <schillic@informatik.uni-freiburg.de>
Date: Mon, 2 Dec 2019 21:15:41 +0100
Subject: [PATCH] (re)move exports

---
 src/Sets/VPolytope.jl | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/Sets/VPolytope.jl b/src/Sets/VPolytope.jl
index 223e2b2dbb..deb1d19882 100644
--- 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}}()