diff options
Diffstat (limited to 'src/vhdl/translate/trans-chap9.adb')
| -rw-r--r-- | src/vhdl/translate/trans-chap9.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/vhdl/translate/trans-chap9.adb b/src/vhdl/translate/trans-chap9.adb index 37d4e1fb2..4147c00b5 100644 --- a/src/vhdl/translate/trans-chap9.adb +++ b/src/vhdl/translate/trans-chap9.adb @@ -549,8 +549,10 @@ package body Trans.Chap9 is Chap8.Translate_Report (Stmt, Ghdl_Psl_Assert_Failed, Severity_Level_Error); when Iir_Kind_Psl_Cover_Statement => - Chap8.Translate_Report - (Stmt, Ghdl_Psl_Cover, Severity_Level_Note); + if Get_Report_Expression (Stmt) /= Null_Iir then + Chap8.Translate_Report + (Stmt, Ghdl_Psl_Cover, Severity_Level_Note); + end if; when others => Error_Kind ("Translate_Psl_Directive_Statement", Stmt); end case; |