From cd21cc39c77e09eacd760aa4567935d645edd527 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= Date: Tue, 6 Dec 2022 15:13:29 +0100 Subject: [PATCH] Merge pull request #11793 from dra27/then-than Typo in `String.cat` doc comment (cherry picked from commit d0cdf4b0a075ddb56a5523c4d51c99408321f609) --- stdlib/string.mli | 4 ++-- stdlib/stringLabels.mli | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/stdlib/string.mli b/stdlib/string.mli index db3b0d744d9a..21e4abd9f213 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -132,8 +132,8 @@ val concat : string -> string list -> string val cat : string -> string -> string (** [cat s1 s2] concatenates s1 and s2 ([s1 ^ s2]). - @raise Invalid_argument if the result is longer then - than {!Sys.max_string_length} bytes. + @raise Invalid_argument if the result is longer than + {!Sys.max_string_length} bytes. @since 4.13.0 *) diff --git a/stdlib/stringLabels.mli b/stdlib/stringLabels.mli index e00ffce1d663..ee2bffbd1468 100644 --- a/stdlib/stringLabels.mli +++ b/stdlib/stringLabels.mli @@ -132,8 +132,8 @@ val concat : sep:string -> string list -> string val cat : string -> string -> string (** [cat s1 s2] concatenates s1 and s2 ([s1 ^ s2]). - @raise Invalid_argument if the result is longer then - than {!Sys.max_string_length} bytes. + @raise Invalid_argument if the result is longer than + {!Sys.max_string_length} bytes. @since 4.13.0 *)