X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-handle-def.h;h=a3d837ab924b0a60af7a4bf319eabe0c31bef4ca;hb=ccab19f8edbd7561990940a06c9d2c2732a697c4;hp=7c8a00a6133287b902a808331583b5c713c8cd0a;hpb=480a0746507ce73d26f528b56dc3ed80195096e0;p=pspp-builds.git

diff --git a/src/data/file-handle-def.h b/src/data/file-handle-def.h
index 7c8a00a6..a3d837ab 100644
--- a/src/data/file-handle-def.h
+++ b/src/data/file-handle-def.h
@@ -61,11 +61,12 @@ const struct fh_properties *fh_default_properties (void);
 void fh_free (struct file_handle *);
 
 /* Finding file handles. */
-struct file_handle *fh_from_name (const char *handle_name);
+struct file_handle *fh_from_id (const char *handle_name);
 struct file_handle *fh_from_file_name (const char *file_name);
 struct file_handle *fh_inline_file (void);
 
 /* Generic properties of file handles. */
+const char *fh_get_id (const struct file_handle *);
 const char *fh_get_name (const struct file_handle *);
 enum fh_referent fh_get_referent (const struct file_handle *);