diff options
Diffstat (limited to 'src/ghdldrv/ghdlmain.ads')
| -rw-r--r-- | src/ghdldrv/ghdlmain.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdlmain.ads b/src/ghdldrv/ghdlmain.ads index c01f1d6..9b13486 100644 --- a/src/ghdldrv/ghdlmain.ads +++ b/src/ghdldrv/ghdlmain.ads @@ -62,6 +62,7 @@ package Ghdlmain is -- Disp MSG on the standard output with the command name. procedure Error (Msg : String); + procedure Warning (Msg : String); -- May be raise by perform_action if the arguments are bad. Option_Error : exception renames Errorout.Option_Error; |