From e286d3840e5ac92151b9ac462551aef3282644c8 Mon Sep 17 00:00:00 2001
From: schillic <schillic@informatik.uni-freiburg.de>
Date: Sat, 16 Mar 2019 14:13:39 +0100
Subject: [PATCH] do not project automatically for :projection_matrix option

---
 src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl b/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl
index 88778b86..86b5e981 100644
--- 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