diff --git a/lkql_checker/src/gnatcheck-options.ads b/lkql_checker/src/gnatcheck-options.ads index b72763a47..608f7ad60 100644 --- a/lkql_checker/src/gnatcheck-options.ads +++ b/lkql_checker/src/gnatcheck-options.ads @@ -94,16 +94,6 @@ package Gnatcheck.Options is KP_Version : GNAT.OS_Lib.String_Access; -- If set, the relevant GNAT version to check when running gnatkp. - type Warning_Modes is - (Quiet, -- all warnings are suppressed - Short, - Normal, - Full); - - Warning_Mode : Warning_Modes := Normal; - -- Specifies the warning message level - -- '-w(q|s|n|f) - Log_Mode : Boolean := False; -- Create the log file and duplicate in this file all the messages -- generated by a tool. diff --git a/lkql_checker/src/gnatcheck-output.adb b/lkql_checker/src/gnatcheck-output.adb index 8a838c4f6..e034710d0 100644 --- a/lkql_checker/src/gnatcheck-output.adb +++ b/lkql_checker/src/gnatcheck-output.adb @@ -543,9 +543,7 @@ package body Gnatcheck.Output is procedure Warning (Message : String) is begin - if Arg.Warnings_As_Errors.Get or else Warning_Mode /= Quiet then - Error (Message); - end if; + Error (Message); -- Force a non-zero return code when "warnings as errors" is enabled if Arg.Warnings_As_Errors.Get then diff --git a/lkql_checker/src/gnatcheck-output.ads b/lkql_checker/src/gnatcheck-output.ads index 98e9c86ef..8e4e29a42 100644 --- a/lkql_checker/src/gnatcheck-output.ads +++ b/lkql_checker/src/gnatcheck-output.ads @@ -48,7 +48,7 @@ package Gnatcheck.Output is -- Sends into Stderr the error message with no tool name prefix procedure Warning (Message : String); - -- Same as Error, but do nothing if Warning_Mode = Quiet. + -- Same as ``Error`` procedure Info (Message : String); -- Sends Message into Stderr (with no tool name prefix).