diff --git a/src/Sets/HParallelotope/HParallelotopeModule.jl b/src/Sets/HParallelotope/HParallelotopeModule.jl
index b7f59276fd..19d47f8c39 100644
--- 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
index b9492be33c..853eb4578c 100644
--- 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
index 1b1dc17ef9..c236090e74 100644
--- 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