From 8d3d2c734d5d5e7e3ac4a14dd691ba8175de67b3 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 13 May 2019 18:27:55 +0200
Subject: options: support -Werror=WARN to transform one warning into an error.

---
 src/flags.ads | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/flags.ads')

diff --git a/src/flags.ads b/src/flags.ads
index 096d889c0..5ad2ece2b 100644
--- a/src/flags.ads
+++ b/src/flags.ads
@@ -151,10 +151,6 @@ package Flags is
    -- --warn-undriven
    --Warn_Undriven : Boolean := False;
 
-   --  --warn-error
-   --  Turns warnings into errors.
-   Warn_Error : Boolean := False;
-
    --  If True, disp original source line and a caret indicating the column.
    Flag_Caret_Diagnostics : Boolean := False;
 
-- 
cgit v1.2.3