let
reset_digest_cache_for file =
Hashtbl
.remove digest_cache file