1 files changed, 2 insertions, 0 deletions
diff --git a/tokens.adb b/tokens.adb
index 415486c..5d27be8 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 =>