resolve submodule dependency via Requires

JuliaReach · Jul 20, 2024 · 70da711 · 70da711
1 parent ef520bf
commit 70da711
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/src/Sets/HParallelotope/HParallelotopeModule.jl b/src/Sets/HParallelotope/HParallelotopeModule.jl
@@ -2,7 +2,7 @@ module HParallelotopeModule
 
 using Reexport, Requires
 
-using ..LazySets: AbstractZonotope, HalfSpace, generators_fallback, order,
+using ..LazySets: AbstractZonotope, generators_fallback, order,
                   _constraints_list_zonotope
 using LinearAlgebra: checksquare, det
 using Random: AbstractRNG, GLOBAL_RNG

diff --git a/src/Sets/HParallelotope/constraints_list.jl b/src/Sets/HParallelotope/constraints_list.jl
@@ -23,6 +23,8 @@ function _parameters(P::HParallelotope{N,VN}) where {N,VN}
 end
 
 function _constraints_list_hparallelotope(D, c, N, VN)
+    require(@__MODULE__, :LazySets; fun_name="constraints_list")
+
     if isempty(D)
         return Vector{HalfSpace{N,VN}}(undef, 0)
     end

diff --git a/src/Sets/HParallelotope/init_LazySets.jl b/src/Sets/HParallelotope/init_LazySets.jl
@@ -1 +1,2 @@
+using .LazySets.HalfSpaceModule: HalfSpace
 using .LazySets.HPolyhedronModule: HPolyhedron