aboutsummaryrefslogtreecommitdiffstats
path: root/src/options.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-01-04 16:37:07 +0100
committerTristan Gingold <tgingold@free.fr>2019-01-04 21:01:34 +0100
commit577172e2a52076f4099fcdf4bf8a69649488f514 (patch)
tree8d6b1e848417b97446134c5e24d80191ce90d87c /src/options.ads
parent591f3ffe260582cd8057a3470bb1580fea98ebbc (diff)
downloadghdl-577172e2a52076f4099fcdf4bf8a69649488f514.tar.gz
ghdl-577172e2a52076f4099fcdf4bf8a69649488f514.tar.bz2
ghdl-577172e2a52076f4099fcdf4bf8a69649488f514.zip
errorout: discard disabled warnings.
Fix #729
Diffstat (limited to 'src/options.ads')
-rw-r--r--src/options.ads2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options.ads b/src/options.ads
index 0567cc200..68acc8c75 100644
--- a/src/options.ads
+++ b/src/options.ads
@@ -20,7 +20,7 @@ package Options is
-- Return true if opt is recognize by flags.
-- Note: std_names.std_names_initialize and files_map.init_paths must have
-- been called before this subprogram.
- function Parse_Option (Option : String) return Boolean;
+ function Parse_Option (Opt : String) return Boolean;
-- Disp help about these options.
procedure Disp_Options_Help;