aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
diff options
context:
space:
mode:
authorGravatar Paul Steckler <steck@stecksoft.com>2017-08-21 18:28:42 -0400
committerGravatar Paul Steckler <steck@stecksoft.com>2017-08-21 18:28:42 -0400
commit4c43d8c6e0298f9d5f27ebca170e7e42478ed46c (patch)
tree3d7797cfbf4a06e3c5e5fdb4073ef10c21bedaac /lib
parent325890a83a2b073d9654b5615c585cd65a376fbd (diff)
read, write from same array
Diffstat (limited to 'lib')
-rw-r--r--lib/cArray.ml2
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