diff --git a/test/algorithms/ASB07.jl b/test/algorithms/ASB07.jl index 5b321236e..720bb8317 100644 --- a/test/algorithms/ASB07.jl +++ b/test/algorithms/ASB07.jl @@ -1,4 +1,4 @@ -using ..Exponentiation: IntervalExpAlg +using ReachabilityAnalysis.Exponentiation: IntervalExpAlg @testset "ASB07 algorithm: homogeneous case" begin # Example 1 from