From af99826ef47a5167568fda4fa92b23b7004b366f Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Mon, 25 Mar 2019 08:39:50 +0100
Subject: [PATCH] style: remove now useless _GL_UNUSED

* src/getargs.c (getargs_colors): Here.
Useless since 4d34b06fb3a38eb050439084476a6b3e292c5680.
---
 src/getargs.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/getargs.c b/src/getargs.c
index 4f8153a3..9cd07014 100644
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -585,7 +585,7 @@ command_line_location (void)
    request.  This is consistent with the way GCC and Clang behave.  */
 
 static void
-getargs_colors (int argc _GL_UNUSED, char *argv[] _GL_UNUSED)
+getargs_colors (int argc, char *argv[])
 {
   for (int i = 1; i < argc; i++)
     {