From 4c43d8c6e0298f9d5f27ebca170e7e42478ed46c Mon Sep 17 00:00:00 2001
From: Paul Steckler
Date: Mon, 21 Aug 2017 18:28:42 -0400
Subject: read, write from same array

---
 lib/cArray.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/cArray.ml')

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
-- 
cgit v1.2.3