diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 11:47:14 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 11:47:14 -0300 |
| commit | a3acc318ead5620ac20f70815b4dfb0810ccd2a4 (patch) | |
| tree | e1bf3b6331c07005a83650da36499a931dfeb24d /lib/kernel/Namespace.ml | |
| parent | c66c3c82fda2f68e5aac62d16657d8a77e6d91ee (diff) | |
| download | RNT-a3acc318ead5620ac20f70815b4dfb0810ccd2a4.tar.gz RNT-a3acc318ead5620ac20f70815b4dfb0810ccd2a4.zip | |
abstracting headers and merkle of list construction
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) |