diff options
Diffstat (limited to 'stdlib/stringLabels.mli')
-rw-r--r-- | stdlib/stringLabels.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/stringLabels.mli b/stdlib/stringLabels.mli index dac714cb09..4001707d33 100644 --- a/stdlib/stringLabels.mli +++ b/stdlib/stringLabels.mli @@ -265,7 +265,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}. *) |