diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-03-25 08:39:50 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-03-25 08:39:50 +0100 |
commit | af99826ef47a5167568fda4fa92b23b7004b366f (patch) | |
tree | 22915dd4460ce6bc1b4a189e03695aa7142a8d5a /src | |
parent | af1c6f973a60a51c609903713ff8f7fce0887025 (diff) | |
download | bison-af99826ef47a5167568fda4fa92b23b7004b366f.tar.gz |
style: remove now useless _GL_UNUSED
* src/getargs.c (getargs_colors): Here.
Useless since 4d34b06fb3a38eb050439084476a6b3e292c5680.
Diffstat (limited to 'src')
-rw-r--r-- | src/getargs.c | 2 |
1 files changed, 1 insertions, 1 deletions
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++) { |