remove extra spacing

JuliaReach · Oct 4, 2019 · f08db36 · f08db36
1 parent f78912d
commit f08db36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solve.jl b/src/solve.jl
@@ -210,7 +210,7 @@ function solve!(system::InitialValueProblem{<:HybridSystem,
                     end
                 end
             else
-                 for (i, reach_set) in enumerate(Rsets[length(Rsets) - count_Rsets + 1 : end])
+                for (i, reach_set) in enumerate(Rsets[length(Rsets) - count_Rsets + 1 : end])
                     if !check(property_loc, set(reach_set))
                         return CheckSolution(false, i, options)
                     end