diff options
author | 2017-08-21 18:28:42 -0400 | |
---|---|---|
committer | 2017-08-21 18:28:42 -0400 | |
commit | 4c43d8c6e0298f9d5f27ebca170e7e42478ed46c (patch) | |
tree | 3d7797cfbf4a06e3c5e5fdb4073ef10c21bedaac /lib | |
parent | 325890a83a2b073d9654b5615c585cd65a376fbd (diff) |
read, write from same array
Diffstat (limited to 'lib')
-rw-r--r-- | lib/cArray.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cArray.ml b/lib/cArray.ml index bb1e33546..59a256b11 100644 --- a/lib/cArray.ml +++ b/lib/cArray.ml @@ -331,7 +331,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 |