Skip to content

Commit

Permalink
refactor: replace filteri_inplace with filter_inplace (#8197)
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
  • Loading branch information
rgrinberg authored Jul 14, 2023
1 parent 26a4664 commit 103c503
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions src/dune_engine/cached_digest.ml
Original file line number Diff line number Diff line change
Expand Up @@ -104,9 +104,7 @@ let delete_very_recent_entries () =
| Gt | Eq -> false
in
match !Clflags.debug_digests with
| false ->
Path.Table.filteri_inplace cache.table ~f:(fun ~key:_ ~data ->
filter data)
| false -> Path.Table.filter_inplace cache.table ~f:filter
| true ->
Path.Table.filteri_inplace cache.table ~f:(fun ~key:path ~data ->
let filter = filter data in
Expand Down

0 comments on commit 103c503

Please sign in to comment.