X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Finpt-pgm.c;h=d7523f58d2546464d346d91a8e551b8c4c4916f4;hb=0fc606c52d7cec253af9b7463b15baabfbc9a33a;hp=b9488f17f47604bcfd92ac9c80c4a79dda9a132c;hpb=eb06da6a334bc37108cdce9bfc7f26cfcb2003ee;p=pspp

diff --git a/src/language/data-io/inpt-pgm.c b/src/language/data-io/inpt-pgm.c
index b9488f17f4..d7523f58d2 100644
--- a/src/language/data-io/inpt-pgm.c
+++ b/src/language/data-io/inpt-pgm.c
@@ -239,7 +239,7 @@ destroy_input_program (struct input_program_pgm *pgm)
 
 /* Destroys the casereader. */
 static void
-input_program_casereader_destroy (struct casereader *reader UNUSED, void *inp_)
+input_program_casereader_destroy (struct casereader *reader, void *inp_)
 {
   struct input_program_pgm *inp = inp_;
   if (inp->restart == TRNS_ERROR)