diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-05-04 17:50:57 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-05-04 17:50:57 +0200 |
commit | 22a00cfbf2afc5544ed5aa9192131a17dd998fc2 (patch) | |
tree | 94173682701674e1e918a46cd2ac6098ec3cdb9b /src/complain.c | |
parent | 8c06cb9130a8d80d252f3e16a9d3a166a5139811 (diff) | |
download | bison-22a00cfbf2afc5544ed5aa9192131a17dd998fc2.tar.gz |
style: use warning_is_enabled instead of duplicating it
* src/complain.c (deprecated_directive): Here.
Diffstat (limited to 'src/complain.c')
-rw-r--r-- | src/complain.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/complain.c b/src/complain.c index 99f400e6..8a6d8c57 100644 --- a/src/complain.c +++ b/src/complain.c @@ -521,7 +521,7 @@ deprecated_directive (location const *loc, char const *old, char const *upd) _("deprecated directive: %s, use %s"), quote (old), quote_n (1, upd)); /* Register updates only if -Wdeprecated is enabled. */ - if (warnings_flag[warning_deprecated] != severity_disabled) + if (warning_is_enabled (Wdeprecated)) fixits_register (loc, upd); } |