diff options
Diffstat (limited to 'src/grt/grt-errors.ads')
| -rw-r--r-- | src/grt/grt-errors.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/grt/grt-errors.ads b/src/grt/grt-errors.ads index f70a77764..371908fad 100644 --- a/src/grt/grt-errors.ads +++ b/src/grt/grt-errors.ads @@ -80,6 +80,10 @@ package Grt.Errors is Line : Ghdl_I32); pragma No_Return (Error); + -- Non-fatal error (for the final message in case of previous error). + -- Set the exit status. + procedure Error_NF (Str : String); + -- Warning message. procedure Warning (Str : String); |