From 5a717e15d7296838208837c96d0bb032f8adf41a Mon Sep 17 00:00:00 2001 From: schillic Date: Sat, 1 Jun 2024 10:50:52 +0200 Subject: [PATCH] fix Array package source in tests --- test/runtests.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test/runtests.jl b/test/runtests.jl index 8b203826fe..21ddd443ac 100644 --- 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 ReachabilityBase.Arrays: isinvertible, inner, allequal, is_cyclic_permutation, + SingleEntryVector global test_suite_basic = true global test_suite_polyhedra = true