diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml index 3d5d09706658eb367171847110a17b506d96fd0d..6cd0cc0cecf3212337ddc80ec4ea9b66baa0ffb8 100644 --- a/src/kernel_services/ast_queries/file.ml +++ b/src/kernel_services/ast_queries/file.ml @@ -1728,7 +1728,7 @@ let check_source_hashes expected actual_table = if missing <> [] then begin let missing = List.sort Extlib.compare_ignore_case missing in Kernel.warning ~wkey:Kernel.wkey_audit - "missing hashes for files:@\n%a" + "missing files:@\n%a" (Pretty_utils.pp_list ~sep:"@\n" Format.pp_print_string) missing end diff --git a/tests/value/oracle/audit.res.oracle b/tests/value/oracle/audit.res.oracle index 8cb4e84028b629e4a6cc65903cc1a19329956380..338a77c21a7297b49c9f9bf0e4c7faba157e6082 100644 --- a/tests/value/oracle/audit.res.oracle +++ b/tests/value/oracle/audit.res.oracle @@ -3,7 +3,7 @@ [kernel:audit] Warning: different hashes for tests/value/audit_included_but_not_listed.h: got c2cc488143a476f69cf2ed04c3439e6e, expected <none> (not in list) [kernel:audit] Warning: - missing hashes for files: + missing files: tests/value/non_existing_file.h [kernel] Audit: sources list written to: tests/value/result/audit-out.json [kernel] Parsing tests/value/audit.c (with preprocessing)