diff --git a/src/Flowpipes/Flowpipe.jl b/src/Flowpipes/Flowpipe.jl
index e33559111..2ba25a47b 100644
--- a/src/Flowpipes/Flowpipe.jl
+++ b/src/Flowpipes/Flowpipe.jl
@@ -256,11 +256,6 @@ function ∈(x::AbstractVector{N}, fp::Flowpipe{N,<:AbstractLazyReachSet{N}}) wh
     return any(R -> x ∈ set(R), array(fp))
 end
 
-function ∈(x::AbstractVector{N},
-           fp::VT) where {N,RT<:AbstractLazyReachSet{N},VT<:AbstractVector{RT}}
-    return any(R -> x ∈ set(R), fp)
-end
-
 function LazySets.linear_map(M, fp::Flowpipe)
     out = [linear_map(M, R) for R in fp]
     return Flowpipe(out, fp.ext)