diff options
Diffstat (limited to 'stdlib/stdLabels.mli')
| -rw-r--r-- | stdlib/stdLabels.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/stdLabels.mli b/stdlib/stdLabels.mli index 509eccb62..4750bbffb 100644 --- a/stdlib/stdLabels.mli +++ b/stdlib/stdLabels.mli @@ -27,8 +27,8 @@ module Array : external length : 'a array -> int = "%array_length" 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 = "make_vect" - external create : int -> 'a -> 'a array = "make_vect" + external make : int -> 'a -> 'a array = "caml_make_vect" + external create : int -> 'a -> 'a array = "caml_make_vect" val init : int -> f:(int -> 'a) -> 'a array val make_matrix : dimx:int -> dimy:int -> 'a -> 'a array array val create_matrix : dimx:int -> dimy:int -> 'a -> 'a array array |