Skip to content

Commit

Permalink
Merge pull request #11793 from dra27/then-than
Browse files Browse the repository at this point in the history
Typo in `String.cat` doc comment

(cherry picked from commit d0cdf4b)
  • Loading branch information
shindere authored and dra27 committed Dec 6, 2022
1 parent 924b523 commit cd21cc3
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions stdlib/string.mli
Expand Up @@ -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
*)
Expand Down
4 changes: 2 additions & 2 deletions stdlib/stringLabels.mli
Expand Up @@ -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
*)
Expand Down

0 comments on commit cd21cc3

Please sign in to comment.