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.adb | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tokens.adb')

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