From f53156a6d3819682dc888835abcef2b5320dab1b Mon Sep 17 00:00:00 2001 From: Paul Steckler Date: Tue, 5 Dec 2017 12:34:06 -0500 Subject: Rename update to set, fixes #6196 --- lib/cMap.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/cMap.mli') diff --git a/lib/cMap.mli b/lib/cMap.mli index f65036139b..5e65bd200a 100644 --- a/lib/cMap.mli +++ b/lib/cMap.mli @@ -34,7 +34,7 @@ sig val get : key -> 'a t -> 'a (** Same as {!find} but fails an assertion instead of raising [Not_found] *) - val update : key -> 'a -> 'a t -> 'a t + val set : key -> 'a -> 'a t -> 'a t (** Same as [add], but expects the key to be present, and thus faster. @raise Not_found when the key is unbound in the map. *) -- cgit v1.2.3