let StarModule be independent of HPolytopeModule

JuliaReach · Jul 25, 2024 · 6ca6263 · 6ca6263
1 parent 30cbda2
commit 6ca6263
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/src/Sets/Star/StarModule.jl b/src/Sets/Star/StarModule.jl
@@ -3,7 +3,6 @@ module StarModule
 using Reexport, Requires
 
 using ..LazySets: AbstractPolyhedron
-using ..HPolytopeModule: HPolytope
 using LinearAlgebra: I, dot
 using Random: AbstractRNG, GLOBAL_RNG
 using ReachabilityBase.Arrays: At_mul_B, to_matrix, DEFAULT_COND_TOL

diff --git a/src/Sets/Star/init_LazySets.jl b/src/Sets/Star/init_LazySets.jl
@@ -1 +1,2 @@
 using .LazySets: STAR
+using ..HPolytopeModule: HPolytope
Original file line number	Diff line number	Diff line change
		@@ -1 +1,2 @@
		using .LazySets: STAR
		using ..HPolytopeModule: HPolytope