diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-01-04 16:37:07 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-01-04 21:01:34 +0100 |
commit | 577172e2a52076f4099fcdf4bf8a69649488f514 (patch) | |
tree | 8d6b1e848417b97446134c5e24d80191ce90d87c /src/options.adb | |
parent | 591f3ffe260582cd8057a3470bb1580fea98ebbc (diff) | |
download | ghdl-577172e2a52076f4099fcdf4bf8a69649488f514.tar.gz ghdl-577172e2a52076f4099fcdf4bf8a69649488f514.tar.bz2 ghdl-577172e2a52076f4099fcdf4bf8a69649488f514.zip |
errorout: discard disabled warnings.
Fix #729
Diffstat (limited to 'src/options.adb')
-rw-r--r-- | src/options.adb | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/options.adb b/src/options.adb index 98f2352f9..a627bde04 100644 --- a/src/options.adb +++ b/src/options.adb @@ -63,10 +63,9 @@ package body Options is return False; end Option_Warning; - function Parse_Option (Option : String) return Boolean + function Parse_Option (Opt : String) return Boolean is - subtype Option_String is String (1 .. Option'Length); - Opt : Option_String renames Option; + pragma Assert (Opt'First = 1); begin if Opt'Last > 5 and then Opt (1 .. 6) = "--std=" then if Opt'Length = 8 then |