Update src/Approximations/overapproximate.jl

Co-Authored-By: Christian Schilling <[email protected]>
JuliaReach · Jun 5, 2019 · 13e7b9c · 13e7b9c
1 parent 80eed63
commit 13e7b9c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Approximations/overapproximate.jl b/src/Approximations/overapproximate.jl
@@ -556,7 +556,7 @@ end
 
 function blocks_linear_map(cpa::CartesianProductArray,
                            M::AbstractMatrix{N},
-                           row_range::UnitRange{Int64}) where {N}
+                           row_range::UnitRange{Int}) where {N}
     col_start_ind, col_end_ind = 1, 0
     array = Vector{LazySet{N}}()
     sizehint!(array, length(cpa.array))