Update src/HPolyhedron.jl

JuliaReach · Jan 16, 2019 · 675a995 · 675a995
1 parent 4373c37
commit 675a995
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/HPolyhedron.jl b/src/HPolyhedron.jl
@@ -152,7 +152,7 @@ function σ(d::AbstractVector{N}, P::HPoly{N}) where {N<:Real}
 end
 
 @inline function _to_minus_vector(d::SparseVector{N}) where {N}
-    c = zeros(length(d))
+    c = zeros(N, length(d))
     for (ni, i) in enumerate(d.nzind)
         @inbounds c[i] = -d.nzval[ni]
     end