diff options
Diffstat (limited to 'lib/cArray.ml')
| -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 bb1e335468..59a256b115 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 |