diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/Namespace.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/kernel/Namespace.ml b/lib/kernel/Namespace.ml index c7c0767..80c446f 100644 --- a/lib/kernel/Namespace.ml +++ b/lib/kernel/Namespace.ml @@ -12,7 +12,7 @@ class namespace = Utilities.Atomic.mswap entries (fun e -> let existing = BatMap.find_opt key e in if existing = reference then begin - Option.map Protocols.Handle.release existing |> ignore; + Option.iter Protocols.Handle.release existing; match value with | Some v -> Ok (BatMap.add key (Protocols.Handle.move v) e) | None -> Ok (BatMap.remove key e) |