From 509b7f8402cc44f1e843b2ee7d8cabb0fdee17af Mon Sep 17 00:00:00 2001 From: Unknown Date: Sat, 15 Jun 2019 04:08:49 +1000 Subject: [PATCH] added using project --- test/unit_overapproximate.jl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/unit_overapproximate.jl b/test/unit_overapproximate.jl index 9c3df277a1..cdca75e7ab 100644 --- a/test/unit_overapproximate.jl +++ b/test/unit_overapproximate.jl @@ -1,3 +1,5 @@ +using LazySets.Approximations: project + for N in [Float64, Rational{Int}, Float32] # overapproximating a set of type T1 with an unsupported type T2 is the # identity if T1 = T2