1 files changed, 1 insertions, 0 deletions
diff --git a/tokens.ads b/tokens.ads
index bb431b95a..a0339a52c 100644
--- a/tokens.ads
+++ b/tokens.ads
@@ -241,6 +241,7 @@ package Tokens is
        Tok_Psl_Sequence,
        Tok_Psl_Endpoint,
        Tok_Psl_Assert,
+       Tok_Psl_Cover,
 
        Tok_Psl_Const,
        Tok_Psl_Boolean,