diff options
Diffstat (limited to 'stdlib/string.mli')
| -rw-r--r-- | stdlib/string.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/string.mli b/stdlib/string.mli index ddf2df1bd..fa1c35c4e 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -1,9 +1,9 @@ (* String operations *) -external length : string -> int = "ml_string_length" +external length : string -> int = "%string_length" -external get : string -> int -> char = "string_get" -external set : string -> int -> char -> unit = "string_set" +external get : string -> int -> char = "%string_safe_get" +external set : string -> int -> char -> unit = "%string_safe_set" external create : int -> string = "create_string" val make : int -> char -> string |