update doctest for Julia v1.11

JuliaReach · Oct 19, 2024 · cfe14bd · cfe14bd
1 parent 5cbec2e
commit cfe14bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/LazyOperations/ResetMap.jl b/src/LazyOperations/ResetMap.jl
@@ -64,7 +64,7 @@ automatically.
 
 ```jldoctest resetmap
 julia> ResetMap(ZeroSet(3), r)
-Singleton{Float64, SparseArrays.SparseVector{Float64, Int64}}(  [1]  =  4.0)
+Singleton{Float64, SparseArrays.SparseVector{Float64, Int64}}(sparsevec([1], [4.0], 3))
 
 julia> ResetMap(EmptySet(3), r)
 ∅(3)