do not project automatically for :projection_matrix option

JuliaReach · Mar 16, 2019 · e286d38 · e286d38
1 parent 3d2c269
commit e286d38
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