Update reach.jl (#727)

JuliaReach · Jan 17, 2020 · e0e9909 · e0e9909
1 parent 34ad864
commit e0e9909
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/ReachSets/ContinuousPost/BFFPSV18/reach.jl b/src/ReachSets/ContinuousPost/BFFPSV18/reach.jl
@@ -85,9 +85,7 @@ function reach(problem::Union{IVP{<:CLDS{NUM}, <:LazySet{NUM}},
 
     # shortcut if only the initial set is required
     if N == 1
-        res[1] = res_type(
-            CartesianProductArray{NUM, LazySet{NUM}}(Xhat0[blocks]),
-            zero(NUM), options[:δ])
+        res[1] = SparseReachSet(CartesianProductArray(Xhat0[blocks]), zero(NUM), options[:δ], dimensions)
         return Flowpipe(res)
     end
     push!(args, Xhat0)