diff options
author | 2017-08-22 14:59:08 -0400 | |
---|---|---|
committer | 2017-08-22 14:59:08 -0400 | |
commit | d023c27a370b94fa3b6f67e31bad8967801b496f (patch) | |
tree | 0634b5d7c9b83df7cf41847f3456996f187379f1 | |
parent | 4c43d8c6e0298f9d5f27ebca170e7e42478ed46c (diff) |
also in Fun1.smartmap, read, write from same array
-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 59a256b11..73ab2d713 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 |