From b27fe672b79b7233ae2ca0ea612f58f9e34fca85 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 21 Jun 2014 03:13:50 +0200
Subject: Handle report/severity in PSL assertions.

---
 sem_psl.adb | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'sem_psl.adb')

diff --git a/sem_psl.adb b/sem_psl.adb
index a16da5771..15b924ce9 100644
--- a/sem_psl.adb
+++ b/sem_psl.adb
@@ -474,6 +474,9 @@ package body Sem_Psl is
       Extract_Clock (Prop, Clk);
       Set_Psl_Property (Stmt, Prop);
 
+      --  Sem report and severity expressions.
+      Sem_Report_Statement (Stmt);
+
       --  Properties must be clocked.
       if Clk = Null_Node then
          if Current_Psl_Default_Clock = Null_Iir then
-- 
cgit v1.2.3