X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-handle-def.h;h=ace0c6845bae170807a7f19fd80be0c1086b825c;hb=be54f3fd7ac953c44df1a843a5b189eb5072f7e5;hp=bd1fed7c1a7656c6ee97bda6da00b3ebb1845210;hpb=504ee72af2e3f4df358ca45b8acb847affdb85cb;p=pspp

diff --git a/src/data/file-handle-def.h b/src/data/file-handle-def.h
index bd1fed7c1a..ace0c6845b 100644
--- a/src/data/file-handle-def.h
+++ b/src/data/file-handle-def.h
@@ -75,7 +75,7 @@ void fh_done (void);
 
 /* Creating file handles. */
 struct file_handle *fh_create_file (const char *handle_name,
-                                    const char *file_name,
+                                    const char *file_name, const char *file_name_encoding,
                                     const struct fh_properties *);
 struct file_handle *fh_create_dataset (struct dataset *);
 const struct fh_properties *fh_default_properties (void);
@@ -98,6 +98,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 *);