missed definition of "n"

JuliaReach · Aug 14, 2019 · 57dccd5 · 57dccd5
1 parent 8118b9b
commit 57dccd5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/solve.jl b/src/solve.jl
@@ -184,6 +184,7 @@ function solve!(system::InitialValueProblem{<:HybridSystem,
             if opD isa DecomposedDiscretePost
                 temp_vars = opD.options[:temp_vars]
                 n_lowdim = length(temp_vars)
+                n = dim(X0.X)
                 property_loc_lowdim = project(property_loc, temp_vars)
                 for (i, reach_set) in enumerate(reach_tube.Xk)
                     if (dim(reach_set.X) == n_lowdim && n_lowdim < n)