1 files changed, 0 insertions, 4 deletions
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;