summaryrefslogtreecommitdiff
path: root/stdlib/string.mli
diff options
context:
space:
mode:
authorJohn Whitington <john@coherentgraphics.co.uk>2020-08-03 14:12:58 +0100
committerJohn Whitington <john@coherentgraphics.co.uk>2020-08-03 14:12:58 +0100
commit66638cf7005d82dd426f1ae5aaabc2daf6dc2d04 (patch)
treefbde5de2ddc7b358a02006ac23b82f1725d8aa84 /stdlib/string.mli
parent1d68ac08dc543d604c76117cf18bbd940eabee5f (diff)
downloadocaml-66638cf7005d82dd426f1ae5aaabc2daf6dc2d04.tar.gz
~prefix fix
Diffstat (limited to 'stdlib/string.mli')
-rw-r--r--stdlib/string.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/string.mli b/stdlib/string.mli
index 3efb550b2e..1ee8a3d11b 100644
--- a/stdlib/string.mli
+++ b/stdlib/string.mli
@@ -325,7 +325,7 @@ val uncapitalize_ascii : string -> string
val starts_with :
prefix (* comment thwarts tools/unlabel *) :string -> string -> bool
-(** [starts_with prefix s] tests if [s] starts with [prefix]
+(** [starts_with ][~][prefix s] tests if [s] starts with [prefix]
@since 4.12.0 *)
val ends_with :