Bug fix: Hashtbl.filter_map_inplace did not correctly update the size field.
parent
0310ff4415
commit
af09eacaf2
|
@ -200,7 +200,7 @@ let filter_map_inplace f h =
|
||||||
Empty
|
Empty
|
||||||
| Cons(k, d, rest) ->
|
| Cons(k, d, rest) ->
|
||||||
match f k d with
|
match f k d with
|
||||||
| None -> do_bucket rest
|
| None -> h.size <- h.size - 1; do_bucket rest
|
||||||
| Some new_d -> Cons(k, new_d, do_bucket rest)
|
| Some new_d -> Cons(k, new_d, do_bucket rest)
|
||||||
in
|
in
|
||||||
let d = h.data in
|
let d = h.data in
|
||||||
|
|
Loading…
Reference in New Issue