diff options
| author | Maxime Dénès | 2017-12-07 11:00:46 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-12-07 11:00:46 +0100 |
| commit | 2bb33cd402137f72861eda559c51014f48f6f633 (patch) | |
| tree | 84ce339d612e8a8f648e95727c97e9cc54d70d16 /lib/cMap.mli | |
| parent | 9cac9db6446b31294d2413d920db0eaa6dd5d8a6 (diff) | |
| parent | f53156a6d3819682dc888835abcef2b5320dab1b (diff) | |
Merge PR #6290: Rename update to set, Fixes #6196
Diffstat (limited to 'lib/cMap.mli')
| -rw-r--r-- | lib/cMap.mli | 2 |
1 files changed, 1 insertions, 1 deletions
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. *) |