summaryrefslogtreecommitdiff
path: root/stdlib/ephemeron.mli
diff options
context:
space:
mode:
authorKC Sivaramakrishnan <kc@kcsrk.info>2021-12-13 22:19:23 +0530
committerKC Sivaramakrishnan <kc@kcsrk.info>2021-12-13 22:19:23 +0530
commit40b4863c1aa6ef5c4ca69997826faaf1991ae1c4 (patch)
treecf150811a82cd97006e03cabedc1e0b7aae6dd02 /stdlib/ephemeron.mli
parent384c9788bacf44fecd94dfad1ad9899f43510ab1 (diff)
downloadocaml-40b4863c1aa6ef5c4ca69997826faaf1991ae1c4.tar.gz
Remove mentions of iter and fold from docstrings
Diffstat (limited to 'stdlib/ephemeron.mli')
-rw-r--r--stdlib/ephemeron.mli3
1 files changed, 0 insertions, 3 deletions
diff --git a/stdlib/ephemeron.mli b/stdlib/ephemeron.mli
index e12d48052a..f62ef34755 100644
--- a/stdlib/ephemeron.mli
+++ b/stdlib/ephemeron.mli
@@ -70,9 +70,6 @@ module type S = sig
the bindings are weak, even if [mem h k] is true, a subsequent
[find h k] may raise [Not_found] because the garbage collector
can run between the two.
-
- Moreover, the table shouldn't be modified during a call to [iter].
- Use [filter_map_inplace] in this case.
*)
type key