diff options
| author | cderrien <65495526+cderrien@users.noreply.github.com> | 2022-05-17 17:28:23 +0200 |
|---|---|---|
| committer | cderrien <65495526+cderrien@users.noreply.github.com> | 2022-05-17 17:32:42 +0200 |
| commit | 072ff406206f863efe50e2136de035c6ed20b051 (patch) | |
| tree | 4c7bc157ae3c25d94ee233a3ec91812c93e51617 /src/options.adb | |
| parent | 9f59cc8640127459cc09f3110f0dcbad4000ed2d (diff) | |
| download | ghdl-072ff406206f863efe50e2136de035c6ed20b051.tar.gz ghdl-072ff406206f863efe50e2136de035c6ed20b051.tar.bz2 ghdl-072ff406206f863efe50e2136de035c6ed20b051.zip | |
Broken indentation.
Diffstat (limited to 'src/options.adb')
| -rw-r--r-- | src/options.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/options.adb b/src/options.adb index bf94c3955..9cf591d59 100644 --- a/src/options.adb +++ b/src/options.adb @@ -90,13 +90,13 @@ package body Options is Error_Msg_Option ("unknown warning identifier: " & Opt); return Option_Err; end if; - + -- Handle -Wall if Opt = "all" then - for I in Msgid_Warnings loop - Enable_Warning(I, True); - end loop; - return Option_Ok; + for I in Msgid_Warnings loop + Enable_Warning(I, True); + end loop; + return Option_Ok; end if; -- Normal warnings. |