diff options
Diffstat (limited to 'sem_psl.adb')
| -rw-r--r-- | sem_psl.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sem_psl.adb b/sem_psl.adb index a16da57..15b924c 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 |