X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-name.h;h=b4231d2f87178b841f85cf62d69a76e15b871b5e;hb=707848060e414fe93458834446dd7cdbf800667f;hp=5564280bf45a3b4b0404fd2a58692a8c3915fbf0;hpb=a5a1e8c05118edd5d9fd0dfd1a6f421632779292;p=pspp-builds.git

diff --git a/src/data/file-name.h b/src/data/file-name.h
index 5564280b..b4231d2f 100644
--- a/src/data/file-name.h
+++ b/src/data/file-name.h
@@ -50,5 +50,6 @@ struct file_identity *fn_get_identity (const char *file_name);
 void fn_free_identity (struct file_identity *);
 int fn_compare_file_identities (const struct file_identity *,
                                 const struct file_identity *);
+unsigned int fn_hash_identity (const struct file_identity *);
 
 #endif /* file-name.h */