Merge pull request #3524 from JuliaReach/schillic/helpers

Fix `Array` package source in tests
JuliaReach · Jun 8, 2024 · d45d43b · d45d43b
2 parents 954b3d9 + bf959b5
commit d45d43b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -30,7 +30,8 @@ using Symbolics
 # Non-exported helper functions
 # ==============================
 using LazySets: _leq, _geq, isapproxzero, _isapprox, _ztol, ispermutation, basetype
-using LazySets.Arrays: isinvertible, inner, allequal, is_cyclic_permutation, SingleEntryVector
+using LazySets.ReachabilityBase.Arrays: allequal, inner, is_cyclic_permutation,
+                                        isinvertible, SingleEntryVector
 
 global test_suite_basic = true
 global test_suite_polyhedra = true