diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-09-11 10:34:01 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-09-11 10:34:01 +0200 |
commit | 973e02bdad7c37dde00b4bc93076a1c9a31631cb (patch) | |
tree | 93928f5e1bc611d522f93fe667b163b0acab4d01 | |
parent | b1fbec7e3945fe2965f4ba9f80c8c31b821dbce1 (diff) | |
parent | d023c27a370b94fa3b6f67e31bad8967801b496f (diff) |
Merge PR #987: In Array.smartmap, read and write from same array
-rw-r--r-- | lib/cArray.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/cArray.ml b/lib/cArray.ml index d08f24d49..013585735 100644 --- a/lib/cArray.ml +++ b/lib/cArray.ml @@ -334,7 +334,7 @@ let smartmap f (ar : 'a array) = Array.unsafe_set ans !i v; incr i; while !i < len do - let v = Array.unsafe_get ar !i in + let v = Array.unsafe_get ans !i in let v' = f v in if v != v' then Array.unsafe_set ans !i v'; incr i @@ -527,7 +527,7 @@ struct Array.unsafe_set ans !i v; incr i; while !i < len do - let v = Array.unsafe_get ar !i in + let v = Array.unsafe_get ans !i in let v' = f arg v in if v != v' then Array.unsafe_set ans !i v'; incr i |