diff --git a/src/LazySets.jl b/src/LazySets.jl
index 5fb43205ce..27c757cc4a 100644
--- a/src/LazySets.jl
+++ b/src/LazySets.jl
@@ -97,7 +97,8 @@ include("Sets/Universe/UniverseModule.jl")
 @reexport using ..UniverseModule: Universe
 
 include("Sets/EmptySet/EmptySetModule.jl")
-@reexport using ..EmptySetModule: EmptySet, ∅, _isdisjoint_emptyset
+@reexport using ..EmptySetModule: EmptySet, ∅
+using ..EmptySetModule: _isdisjoint_emptyset
 
 include("Sets/Ball1/Ball1Module.jl")
 @reexport using ..Ball1Module: Ball1