X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-name.h;h=0a0e2f26fe9775c10a999bf44e32d579268d441c;hb=d62bc5d865e472cd9c20ed54383f29c2a57344ec;hp=5f848174e3873840ab44f0a19a1ea74bae63444d;hpb=612b51515e356bc4dd625a3fb18d0a4f827a1e2c;p=pspp

diff --git a/src/data/file-name.h b/src/data/file-name.h
index 5f848174e3..0a0e2f26fe 100644
--- a/src/data/file-name.h
+++ b/src/data/file-name.h
@@ -30,12 +30,6 @@ bool fn_exists (const char *fn);
 FILE *fn_open (const char *fn, const char *mode);
 int fn_close (const char *fn, FILE *file);
 
-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 *);
-
 const char * default_output_path (void);
 
 #endif /* file-name.h */