From 85cf52d5eeecdb6292f25e86ba3b7905db9b8bdf Mon Sep 17 00:00:00 2001 From: BridgeTheMasterBuilder <71600489+BridgeTheMasterBuilder@users.noreply.github.com> Date: Thu, 3 Aug 2023 21:39:18 +0000 Subject: [PATCH] fix(CCMultiMap): Integrate suggested changes to doc comment for find_left Co-authored-by: Simon Cruanes --- src/data/CCMultiMap.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/data/CCMultiMap.ml b/src/data/CCMultiMap.ml index 279b6e4d..831dd2d9 100644 --- a/src/data/CCMultiMap.ml +++ b/src/data/CCMultiMap.ml @@ -225,7 +225,8 @@ module type BIDIR = sig (** Is the right key present in at least one pair? *) val find_left : t -> left -> right list - (** List of values for this given left-key *) + (** List of values for this given left-key. + This used to return an iter, but returns a list since NEXT_RELEASE. *) val find_left_iter : t -> left -> right iter (** Iterate on bindings for this given left-key