From 32b7a0cc9c8302febd7639d22c80554fa4ec8d88 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Wed, 19 Dec 2012 00:13:21 +0000
Subject: Array.create is deprecated

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

(limited to 'lib/cArray.ml')

diff --git a/lib/cArray.ml b/lib/cArray.ml
index a5e38534f3..7ffdeb6a15 100644
--- a/lib/cArray.ml
+++ b/lib/cArray.ml
@@ -12,7 +12,6 @@ sig
   external get : 'a array -> int -> 'a = "%array_safe_get"
   external set : 'a array -> int -> 'a -> unit = "%array_safe_set"
   external make : int -> 'a -> 'a array = "caml_make_vect"
-  external create : int -> 'a -> 'a array = "caml_make_vect"
   val init : int -> (int -> 'a) -> 'a array
   val make_matrix : int -> int -> 'a -> 'a array array
   val create_matrix : int -> int -> 'a -> 'a array array
-- 
cgit v1.2.3