diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2013-02-26 12:46:09 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2013-02-26 12:46:09 +0000 |
| commit | 90dd9161448fbb39a6732539f424c85736a2cba4 (patch) | |
| tree | ad0daa40e12598d5ca96c3d6117ae2ec4495b3f3 | |
| parent | 5cab09944e2f6aadedeac36b5b122c0494bbcc17 (diff) | |
typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | stdlib/set.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/set.mli b/stdlib/set.mli index ce3b497cd..32adf1f22 100644 --- a/stdlib/set.mli +++ b/stdlib/set.mli @@ -70,8 +70,8 @@ module type S = val inter: t -> t -> t (** Set intersection. *) - (** Set difference. *) val diff: t -> t -> t + (** Set difference. *) val compare: t -> t -> int (** Total ordering between sets. Can be used as the ordering function |