diff options
Diffstat (limited to 'src/grt/grt-severity.ads')
| -rw-r--r-- | src/grt/grt-severity.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/grt/grt-severity.ads b/src/grt/grt-severity.ads index 75d8d90d9..681f3c30c 100644 --- a/src/grt/grt-severity.ads +++ b/src/grt/grt-severity.ads @@ -30,4 +30,7 @@ package Grt.Severity is Warning_Severity : constant Integer := 1; Error_Severity : constant Integer := 2; Failure_Severity : constant Integer := 3; + + -- Value returned by Parse_Severity for 'none'. + None_Severity : constant Integer := 4; end Grt.Severity; |