chore: remove dead link in string doc

This commit is contained in:
Simon Cruanes 2018-04-12 12:10:41 -05:00
parent 7c56bd747e
commit ac314aefe7
2 changed files with 2 additions and 4 deletions

View file

@ -1,10 +1,7 @@
(* This file is free software, part of containers. See file "license" for more details. *)
(** {1 Basic String Utils}
Consider using {!Containers_string.KMP} for pattern search, or Regex
libraries. *)
(** {1 Basic String Utils} *)
type 'a gen = unit -> 'a option
type 'a sequence = ('a -> unit) -> unit

View file

@ -11,6 +11,7 @@
please use the excellent {{: http://erratique.ch/software/uutf} Uutf}.
{b status: experimental}
{b status}: experimental
@since 2.1
*)