From 212268f54c947f4360a7d0e5b45faa97f76a4a9d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 21 Jun 2014 21:24:15 +0200
Subject: Add psl cover directive (ticket19).

---
 tokens.ads | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tokens.ads')

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,
-- 
cgit v1.2.3