X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-handle-def.h;h=af40c7ab3763c6582e856d81c4f6485412a98dae;hb=854216596dc6582aebc28435c3e720bf02c38e26;hp=a57d3d72e5c50eed2112be2650b200f89c61d97b;hpb=c43455db6f3f1191d969c42b8e679e0fddc44e78;p=pspp

diff --git a/src/data/file-handle-def.h b/src/data/file-handle-def.h
index a57d3d72e5..af40c7ab37 100644
--- a/src/data/file-handle-def.h
+++ b/src/data/file-handle-def.h
@@ -87,7 +87,6 @@ void fh_unname (struct file_handle *);
 
 /* Finding file handles. */
 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. */
@@ -98,6 +97,7 @@ const char *fh_get_encoding (const struct file_handle *);
 
 /* Properties of FH_REF_FILE file handles. */
 const char *fh_get_file_name (const struct file_handle *);
+const char *fh_get_file_name_encoding (const struct file_handle *handle);
 enum fh_mode fh_get_mode (const struct file_handle *) ;
 enum fh_line_ends fh_get_line_ends (const struct file_handle *);