X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilename.h;h=9b3f5ab80fa38cce85ade4aa6d7f93491c13b258;hb=4255c7e5a693e09a97dc7a3cca0634bb2adaba2d;hp=499e693bc42ce370b02fb2dbcbbfe6dbfaa93795;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/filename.h b/src/filename.h
index 499e693bc4..9b3f5ab80f 100644
--- a/src/filename.h
+++ b/src/filename.h
@@ -48,6 +48,11 @@ const char *fn_getenv_default (const char *variable, const char *def);
 
 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 *filename);
+void fn_free_identity (struct file_identity *);
+int fn_compare_file_identities (const struct file_identity *,
+                                const struct file_identity *);
 
 /* Extended file routines. */
 struct file_ext;