diff options
Diffstat (limited to 'tokens.adb')
| -rw-r--r-- | tokens.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tokens.adb b/tokens.adb index 415486cab..5d27be8d9 100644 --- a/tokens.adb +++ b/tokens.adb @@ -407,6 +407,8 @@ package body Tokens is return "endpoint"; when Tok_Psl_Assert => return "assert"; + when Tok_Psl_Cover => + return "cover"; when Tok_Psl_Const => return "const"; when Tok_Psl_Boolean => |