aboutsummaryrefslogtreecommitdiff
path: root/lib/cArray.ml
diff options
context:
space:
mode:
authorPaul Steckler2017-08-22 14:59:08 -0400
committerPaul Steckler2017-08-22 14:59:08 -0400
commitd023c27a370b94fa3b6f67e31bad8967801b496f (patch)
tree0634b5d7c9b83df7cf41847f3456996f187379f1 /lib/cArray.ml
parent4c43d8c6e0298f9d5f27ebca170e7e42478ed46c (diff)
also in Fun1.smartmap, read, write from same array
Diffstat (limited to 'lib/cArray.ml')
-rw-r--r--lib/cArray.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cArray.ml b/lib/cArray.ml
index 59a256b115..73ab2d713b 100644
--- a/lib/cArray.ml
+++ b/lib/cArray.ml
@@ -514,7 +514,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