From: John Darrington <john@darrington.wattle.id.au>
Date: Fri, 23 Oct 2015 21:27:43 +0000 (+0200)
Subject: Remove obsolete prototype
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a42ad5375c54d5910b79e6aef4a79e262d1d0277;p=pspp

Remove obsolete prototype
---

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. */