diff options
| -rw-r--r-- | src/options.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/options.adb b/src/options.adb index 019817ca3..0bff712b9 100644 --- a/src/options.adb +++ b/src/options.adb @@ -83,6 +83,7 @@ package body Options is then for I in Msgid_Warnings loop if Warning_Image (I) = Opt (Opt'First + 6 .. Opt'Last) then + Enable_Warning (I, True); Warning_Error (I, Val); return Option_Ok; end if; |