1 files changed, 1 insertions, 1 deletions
diff --git a/editors/patch.c b/editors/patch.c
index 1b283a1..ff1a01d 100644
--- a/editors/patch.c
+++ b/editors/patch.c
@@ -78,7 +78,7 @@ static int file_doesnt_exist(const char *filename)
 }
 
 int patch_main(int argc, char **argv) MAIN_EXTERNALLY_VISIBLE;
-int patch_main(int argc, char **argv)
+int patch_main(int argc ATTRIBUTE_UNUSED, char **argv)
 {
 	int patch_level = -1;
 	char *patch_line;