diff options
| author | pboutill | 2012-12-19 00:13:21 +0000 |
|---|---|---|
| committer | pboutill | 2012-12-19 00:13:21 +0000 |
| commit | 32b7a0cc9c8302febd7639d22c80554fa4ec8d88 (patch) | |
| tree | c5798518db283d05d83d399802c5d50b093b417f /lib/cArray.ml | |
| parent | 7a30e5bbcfb2dc3e7b7bf0cf2cd4e27eab31dcfb (diff) | |
Array.create is deprecated
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16104 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/cArray.ml')
| -rw-r--r-- | lib/cArray.ml | 1 |
1 files changed, 0 insertions, 1 deletions
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 |