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

diff --git a/src/file-handle.h b/src/file-handle.h
index e1a544b482..b086d78703 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);