1 files changed, 1 insertions, 1 deletions

diff --git a/editors/patch.c b/editors/patch.c
index 1b283a133..ff1a01d2e 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;