diff options
Diffstat (limited to 'configuration.adb')
| -rw-r--r-- | configuration.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configuration.adb b/configuration.adb index 43dbafd7b..ab03bca3b 100644 --- a/configuration.adb +++ b/configuration.adb @@ -220,6 +220,7 @@ package body Configuration is when Iir_Kind_Process_Statement | Iir_Kind_Sensitized_Process_Statement | Iir_Kind_Psl_Assert_Statement + | Iir_Kind_Psl_Cover_Statement | Iir_Kind_Psl_Default_Clock | Iir_Kind_Psl_Declaration | Iir_Kind_Simple_Simultaneous_Statement => |