From 826eb7c6d11007dfd747d49852e71a22e0a3850a Mon Sep 17 00:00:00 2001
From: xclerc
Date: Thu, 19 Sep 2013 12:59:04 +0000
Subject: Get rid of the uses of deprecated OCaml elements (still remaining
 compatible with OCaml 3.12.1).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16787 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/cArray.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib/cArray.ml')

diff --git a/lib/cArray.ml b/lib/cArray.ml
index eff317aac4..f81baef45c 100644
--- a/lib/cArray.ml
+++ b/lib/cArray.ml
@@ -301,7 +301,7 @@ let map2 f v1 v2 =
   if Int.equal (Array.length v1) 0 then
     [| |]
   else begin
-    let res = Array.create (Array.length v1) (f v1.(0) v2.(0)) in
+    let res = Array.make (Array.length v1) (f v1.(0) v2.(0)) in
     for i = 1 to pred (Array.length v1) do
       res.(i) <- f v1.(i) v2.(i)
     done;
@@ -314,7 +314,7 @@ let map2_i f v1 v2 =
   if Int.equal (Array.length v1) 0 then
     [| |]
   else begin
-    let res = Array.create (Array.length v1) (f 0 v1.(0) v2.(0)) in
+    let res = Array.make (Array.length v1) (f 0 v1.(0) v2.(0)) in
     for i = 1 to pred (Array.length v1) do
       res.(i) <- f i v1.(i) v2.(i)
     done;
@@ -327,7 +327,7 @@ let map3 f v1 v2 v3 =
   if Int.equal (Array.length v1) 0 then
     [| |]
   else begin
-    let res = Array.create (Array.length v1) (f v1.(0) v2.(0) v3.(0)) in
+    let res = Array.make (Array.length v1) (f v1.(0) v2.(0) v3.(0)) in
     for i = 1 to pred (Array.length v1) do
       res.(i) <- f v1.(i) v2.(i) v3.(i)
     done;
@@ -337,7 +337,7 @@ let map3 f v1 v2 v3 =
 let map_left f a = (* Ocaml does not guarantee Array.map is LR *)
   let l = Array.length a in (* (even if so), then we rewrite it *)
   if Int.equal l 0 then [||] else begin
-    let r = Array.create l (f a.(0)) in
+    let r = Array.make l (f a.(0)) in
     for i = 1 to l - 1 do
       r.(i) <- f a.(i)
     done;
-- 
cgit v1.2.3