Merge pull request #3573 from JuliaReach/schillic/export

Do not export internal function
JuliaReach · Jul 12, 2024 · 00ff28d · 00ff28d
2 parents 7c71f33 + bb021a1
commit 00ff28d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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