From 22a00cfbf2afc5544ed5aa9192131a17dd998fc2 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 4 May 2019 17:50:57 +0200
Subject: [PATCH] style: use warning_is_enabled instead of duplicating it

* src/complain.c (deprecated_directive): Here.
---
 src/complain.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
 }