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

diff --git a/src/data/file-handle-def.h b/src/data/file-handle-def.h
index ace0c6845b..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. */