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

diff --git a/src/file-handle.q b/src/file-handle.q
index cc499a99..00c3fefd 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);