X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmake-file.c;h=fdbb4643ebf7bb5e35ad219a81d4ad76f2384440;hb=c8e1adf66ea2110fc8a3f489c864e5ea93105031;hp=78875746f24ea2ff99860c5af75825da78e60fe4;hpb=6e097c89af440da90b43ce90864394c4d0c843d5;p=pspp

diff --git a/src/data/make-file.c b/src/data/make-file.c
index 78875746f2..fdbb4643eb 100644
--- a/src/data/make-file.c
+++ b/src/data/make-file.c
@@ -19,7 +19,6 @@
 #include "data/make-file.h"
 #include "libpspp/i18n.h"
 
-#include <assert.h>
 #include <errno.h>
 #include <fcntl.h>
 #include <stdio.h>
@@ -190,7 +189,7 @@ struct replace_file
 static struct ll_list all_files = LL_INITIALIZER (all_files);
 
 static void free_replace_file (struct replace_file *);
-static void unlink_replace_files (void);
+static void unlink_replace_files (int sig);
 
 struct replace_file *
 replace_file_start (const struct file_handle *fh, const char *mode,
@@ -370,7 +369,7 @@ free_replace_file (struct replace_file *rf)
 }
 
 static void
-unlink_replace_files (void)
+unlink_replace_files (int sig UNUSED)
 {
   struct replace_file *rf;