diff options
Diffstat (limited to 'src/vhdl/vhdl-errors.adb')
| -rw-r--r-- | src/vhdl/vhdl-errors.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-errors.adb b/src/vhdl/vhdl-errors.adb index db2f87601..e4c7ba93c 100644 --- a/src/vhdl/vhdl-errors.adb +++ b/src/vhdl/vhdl-errors.adb @@ -691,6 +691,8 @@ package body Vhdl.Errors is return Disp_Label (Node, "PSL assertion"); when Iir_Kind_Psl_Cover_Statement => return Disp_Label (Node, "PSL cover"); + when Iir_Kind_Psl_Restrict_Directive => + return "PSL restrict"; when Iir_Kind_Psl_Default_Clock => return "PSL default clock"; |