diff options
Diffstat (limited to 'src/vhdl/vhdl-canon.adb')
-rw-r--r-- | src/vhdl/vhdl-canon.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-canon.adb b/src/vhdl/vhdl-canon.adb index 1a4b99d40..bddcc228f 100644 --- a/src/vhdl/vhdl-canon.adb +++ b/src/vhdl/vhdl-canon.adb @@ -3241,6 +3241,10 @@ package body Vhdl.Canon is Canon_Psl_Assert_Directive (Item); when Iir_Kind_Psl_Assume_Directive => Canon_Psl_Property_Directive (Item); + when Iir_Kind_Psl_Restrict_Directive => + Canon_Psl_Sequence_Directive (Item); + when Iir_Kind_Psl_Cover_Directive => + Canon_Psl_Cover_Directive (Item); when others => Error_Kind ("canon_psl_verification_unit", Item); end case; |