From c97b9345425560b7f5c90e1e98d17e5fb0191679 Mon Sep 17 00:00:00 2001 From: BridgeTheMasterBuilder <71600489+BridgeTheMasterBuilder@users.noreply.github.com> Date: Thu, 3 Aug 2023 21:39:39 +0000 Subject: [PATCH] fix(CCMultiMap): Integrate suggested changes to doc comment for find_right 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 831dd2d9..7a8407b1 100644 --- a/src/data/CCMultiMap.ml +++ b/src/data/CCMultiMap.ml @@ -233,7 +233,8 @@ module type BIDIR = sig @since NEXT_RELEASE *) val find_right : t -> right -> left list - (** List of values for this given right-key *) + (** List of values for this given right-key. + This used to return an iter, but returns a list since NEXT_RELEASE. *) val find_right_iter : t -> right -> left iter (** Iterate on bindings for this given left-key