diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-05-14 19:07:28 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-05-14 19:07:28 +0200 |
| commit | b297bebce64eb9a84b7a90046b514085305c286c (patch) | |
| tree | ef4d768a5053d6241c08d5db7ae48ce097d5763d /src/grt/grt-options.adb | |
| parent | 553455c571c85ba80bf3c5da24496b6954b3ba8d (diff) | |
| download | ghdl-b297bebce64eb9a84b7a90046b514085305c286c.tar.gz ghdl-b297bebce64eb9a84b7a90046b514085305c286c.tar.bz2 ghdl-b297bebce64eb9a84b7a90046b514085305c286c.zip | |
grt: move severity levels from errors to grt.severity.
Diffstat (limited to 'src/grt/grt-options.adb')
| -rw-r--r-- | src/grt/grt-options.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index 58505b381..379d1978e 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -25,6 +25,7 @@ with Interfaces; use Interfaces; with Grt.Strings; use Grt.Strings; with Grt.Errors; use Grt.Errors; +with Grt.Severity; use Grt.Severity; with Grt.Stdio; use Grt.Stdio; with Grt.Astdio; with Grt.Hooks; |