X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffile-handle.h;h=b086d7870340fd7c57e6d3364f8760138f5addf7;hb=3a7fba81ceae5b049d0f7d671e9e3c3c43bbf703;hp=e1a544b482abd5915f190c739d813eef9947ecdf;hpb=b9dcb1c23a48b9db5444b9f10aac0748b83898ad;p=pspp-builds.git

diff --git a/src/file-handle.h b/src/file-handle.h
index e1a544b4..b086d787 100644
--- a/src/file-handle.h
+++ b/src/file-handle.h
@@ -82,6 +82,9 @@ struct file_handle
    file entered via BEGIN DATA/END DATA. */
 extern struct file_handle *inline_file;
 
+/* Initialization. */
+void fh_init_files (void);
+
 /* Opening and closing handles. */
 struct file_handle *fh_get_handle_by_name (const char name[9]);
 struct file_handle *fh_get_handle_by_filename (const char *filename);