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).

---
 sem_stmts.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'sem_stmts.adb')

diff --git a/sem_stmts.adb b/sem_stmts.adb
index 77e5ac419..864cec640 100644
--- a/sem_stmts.adb
+++ b/sem_stmts.adb
@@ -1801,7 +1801,8 @@ package body Sem_Stmts is
                end;
             when Iir_Kind_Psl_Declaration =>
                Sem_Psl.Sem_Psl_Declaration (El);
-            when Iir_Kind_Psl_Assert_Statement =>
+            when Iir_Kind_Psl_Assert_Statement
+              | Iir_Kind_Psl_Cover_Statement =>
                Sem_Psl.Sem_Psl_Assert_Statement (El);
             when Iir_Kind_Psl_Default_Clock =>
                Sem_Psl.Sem_Psl_Default_Clock (El);
-- 
cgit v1.2.3