diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/vhdl/vhdl-canon.adb | 2 | ||||
| -rw-r--r-- | src/vhdl/vhdl-sem_psl.adb | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-canon.adb b/src/vhdl/vhdl-canon.adb index 9d09d0575..6d4e982cb 100644 --- a/src/vhdl/vhdl-canon.adb +++ b/src/vhdl/vhdl-canon.adb @@ -3453,6 +3453,8 @@ package body Vhdl.Canon is Canon_Psl_Cover_Directive (Item); when Iir_Kind_Signal_Declaration | Iir_Kind_Constant_Declaration + | Iir_Kind_Type_Declaration + | Iir_Kind_Subtype_Declaration | Iir_Kind_Function_Declaration | Iir_Kind_Procedure_Declaration | Iir_Kind_Function_Body diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb index f187b3063..2a5b91aa4 100644 --- a/src/vhdl/vhdl-sem_psl.adb +++ b/src/vhdl/vhdl-sem_psl.adb @@ -1179,6 +1179,8 @@ package body Vhdl.Sem_Psl is Sem_Psl_Cover_Directive (Item); when Iir_Kind_Signal_Declaration | Iir_Kind_Constant_Declaration + | Iir_Kind_Type_Declaration + | Iir_Kind_Subtype_Declaration | Iir_Kind_Function_Declaration | Iir_Kind_Procedure_Declaration | Iir_Kind_Function_Body |