X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-handle-def.c;h=f058a0075222881231bbadd7ebefc5c00477948b;hb=28c9cdd6ad22eae547cc5b3b18395ac733a7c8d4;hp=ba45cb6d9d1bacfcf7fc0e825126b8fc092e2da5;hpb=d62bc5d865e472cd9c20ed54383f29c2a57344ec;p=pspp

diff --git a/src/data/file-handle-def.c b/src/data/file-handle-def.c
index ba45cb6d9d..f058a00752 100644
--- a/src/data/file-handle-def.c
+++ b/src/data/file-handle-def.c
@@ -24,7 +24,6 @@
 #include <string.h>
 
 #include "data/dataset.h"
-#include "data/file-name.h"
 #include "data/variable.h"
 #include "libpspp/cast.h"
 #include "libpspp/compiler.h"
@@ -91,7 +90,7 @@ static void unname_handle (struct file_handle *);
 /* Hash table of all active locks. */
 static struct hmap locks = HMAP_INITIALIZER (locks);
 
-struct file_identity *fh_get_identity (const struct file_handle *);
+static struct file_identity *fh_get_identity (const struct file_handle *);
 static void fh_free_identity (struct file_identity *);
 static int fh_compare_file_identities (const struct file_identity *,
                                 const struct file_identity *);
@@ -702,11 +701,9 @@ struct file_identity
 
 /* Returns a pointer to a dynamically allocated structure whose
    value can be used to tell whether two files are actually the
-   same file.  Returns a null pointer if no information about the
-   file is available, perhaps because it does not exist.  The
-   caller is responsible for freeing the structure with
+   same file.  The caller is responsible for freeing the structure with
    fh_free_identity() when finished. */
-struct file_identity *
+static struct file_identity *
 fh_get_identity (const struct file_handle *fh)
 {
   struct file_identity *identity = xmalloc (sizeof *identity);