Merge pull request #547 from JuliaReach/schillic/projection_matrix

Do not project automatically for :projection_matrix option
JuliaReach · Mar 16, 2019 · fe9bd10 · fe9bd10
2 parents 3d2c269 + e286d38
commit fe9bd10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl b/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl
@@ -260,7 +260,7 @@ function post(𝒫::BFFPSV18, 𝑆::AbstractSystem, invariant, 𝑂_input::Optio
         end
 
         # Projection
-        if 𝑂[:project_reachset] || 𝑂[:projection_matrix] != nothing
+        if 𝑂[:project_reachset]
             info("Projection...")
             RsetsProj = @timing project(Rsets, 𝑂)
         else