diff options
author | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-12-19 00:13:21 +0000 |
---|---|---|
committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-12-19 00:13:21 +0000 |
commit | 32b7a0cc9c8302febd7639d22c80554fa4ec8d88 (patch) | |
tree | c5798518db283d05d83d399802c5d50b093b417f /lib/cArray.mli | |
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.mli')
-rw-r--r-- | lib/cArray.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/cArray.mli b/lib/cArray.mli index 57eb672c1..ed8a1e94c 100644 --- a/lib/cArray.mli +++ b/lib/cArray.mli @@ -14,7 +14,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 |