From d445c3e61000bd7abbb1f7980e9823706a431464 Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Tue, 2 Jul 2024 10:03:20 +0200
Subject: [PATCH] make all API functions available in IntervalModule &
 EmptySetModule

---
 src/Sets/EmptySet/EmptySetModule.jl | 1 +
 src/Sets/Interval/IntervalModule.jl | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/Sets/EmptySet/EmptySetModule.jl b/src/Sets/EmptySet/EmptySetModule.jl
index e90808282a..772b39de79 100644
--- a/src/Sets/EmptySet/EmptySetModule.jl
+++ b/src/Sets/EmptySet/EmptySetModule.jl
@@ -15,6 +15,7 @@ using ReachabilityBase.Iteration: EmptyIterator
                         volume,
                         convex_hull, intersection, isdisjoint, ⊆
 @reexport import ..LazySets: chebyshev_center_radius, plot_recipe
+@reexport using ..API
 
 export EmptySet, ∅
 
diff --git a/src/Sets/Interval/IntervalModule.jl b/src/Sets/Interval/IntervalModule.jl
index 1ebc741a40..2a1de2d198 100644
--- a/src/Sets/Interval/IntervalModule.jl
+++ b/src/Sets/Interval/IntervalModule.jl
@@ -21,6 +21,7 @@ import IntervalArithmetic as IA
 @reexport import ..LazySets: chebyshev_center_radius, isflat, ngens, plot_recipe,
                              radius_hyperrectangle, split
 import Base: convert, -, *, min, max
+@reexport using ..API
 
 export Interval