X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffile-handle.q;h=00c3fefd76f910d4168130d0d7e38aabebec6682;hb=4255c7e5a693e09a97dc7a3cca0634bb2adaba2d;hp=cc499a995111855d1a21fe3cb0a12e01e7a5a3a8;hpb=b7852df2743416201dc85fd672644799cdd1b7b5;p=pspp

diff --git a/src/file-handle.q b/src/file-handle.q
index cc499a9951..00c3fefd76 100644
--- a/src/file-handle.q
+++ b/src/file-handle.q
@@ -217,9 +217,10 @@ create_file_handle (const char *handle_name, const char *filename)
   return handle;
 }
 
-void
-destroy_file_handle(struct file_handle *fh, void *aux UNUSED)
+static void
+destroy_file_handle(void *fh_, void *aux UNUSED)
 {
+  struct file_handle *fh = fh_;
   free (fh->name);
   free (fh->filename);
   fn_free_identity (fh->identity);