diff options
Diffstat (limited to 'stdlib/string.mli')
| -rw-r--r-- | stdlib/string.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/string.mli b/stdlib/string.mli index 11dd70205b..22f1121d25 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -282,7 +282,7 @@ val equal: t -> t -> bool (** The equal function for strings. @since 4.03.0 *) -val split: char -> string -> string list +val split_on_char: char -> string -> string list (** [String.split sep s] returns the list of all (possibly empty) substrings of [s] that are delimited by the [sep] character. |