summaryrefslogtreecommitdiff
path: root/stdlib/ephemeron.mli
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2016-02-05 13:23:14 +0100
committerDamien Doligez <damien.doligez@inria.fr>2016-02-05 13:23:14 +0100
commit4271a4ccef97cded1f2f8f06258a260fd44bf241 (patch)
treec91be6c65fca2a0692dabc406b2fbfb0cab67f8c /stdlib/ephemeron.mli
parent5ec086870f9ce002dab4315e140e3f63f1f6a4bf (diff)
downloadocaml-4271a4ccef97cded1f2f8f06258a260fd44bf241.tar.gz
doc: fix typo in 5ec086870f9ce002dab4315e140e3f63f1f6a4bf
Diffstat (limited to 'stdlib/ephemeron.mli')
-rw-r--r--stdlib/ephemeron.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/ephemeron.mli b/stdlib/ephemeron.mli
index 8e8b6eaf34..cc62c296eb 100644
--- a/stdlib/ephemeron.mli
+++ b/stdlib/ephemeron.mli
@@ -293,7 +293,7 @@ module Kn : sig
end
module GenHashTable: sig
- (** Define an hash table on generic containers which have a notion of
+ (** Define a hash table on generic containers which have a notion of
"death" and aliveness. If a binding is dead the hash table can
automatically remove it. *)