From 0fca99fd18b4271e9e78b35ee327733fa5428828 Mon Sep 17 00:00:00 2001
From: schillic <schillic@informatik.uni-freiburg.de>
Date: Fri, 15 Mar 2019 21:48:51 +0100
Subject: [PATCH] fix copy bug in 'no overapproximation' option (dense case)

---
 src/ReachSets/ContinuousPost/BFFPSV18/reach.jl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/ReachSets/ContinuousPost/BFFPSV18/reach.jl b/src/ReachSets/ContinuousPost/BFFPSV18/reach.jl
index a49c0c0f..a115e599 100644
--- a/src/ReachSets/ContinuousPost/BFFPSV18/reach.jl
+++ b/src/ReachSets/ContinuousPost/BFFPSV18/reach.jl
@@ -232,6 +232,10 @@ function overapproximate(X::LazySet, ::Nothing)
     return X
 end
 
+function overapproximate(msa::MinkowskiSumArray, ::Nothing)
+    return MinkowskiSumArray(copy(array(msa)))
+end
+
 function has_constant_directions(block_options::AbstractVector, i::Int)
     return has_constant_directions(block_options[i], i)
 end