1 files changed, 1 insertions, 0 deletions
diff --git a/header.c b/header.c
index 150412a..1bc570f 100644
--- a/header.c
+++ b/header.c
@@ -41,6 +41,7 @@ WriteIncludes(FILE *file)
 static void
 WriteDefines(FILE *file)
 {
+    (void) file;	/* Avoid the warning.  */
 }
 
 static void