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 8ec3fff896..29bfc7fca5 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -310,7 +310,7 @@ type t = string val compare: t -> t -> int (** The comparison function for strings, with the same specification as - {!Pervasives.compare}. Along with the type [t], this function [compare] + {!Stdlib.compare}. Along with the type [t], this function [compare] allows the module [String] to be passed as argument to the functors {!Set.Make} and {!Map.Make}. *) |