diff options
Diffstat (limited to 'src/vhdl/vhdl-errors.adb')
| -rw-r--r-- | src/vhdl/vhdl-errors.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-errors.adb b/src/vhdl/vhdl-errors.adb index 57be65311..ada8258af 100644 --- a/src/vhdl/vhdl-errors.adb +++ b/src/vhdl/vhdl-errors.adb @@ -687,8 +687,10 @@ package body Vhdl.Errors is (Node, "concurrent selected signal assignment"); when Iir_Kind_Concurrent_Assertion_Statement => return Disp_Label (Node, "concurrent assertion"); - when Iir_Kind_Psl_Assert_Statement => + when Iir_Kind_Psl_Assert_Directive => return Disp_Label (Node, "PSL assertion"); + when Iir_Kind_Psl_Assume_Directive => + return Disp_Label (Node, "PSL assumption"); when Iir_Kind_Psl_Cover_Directive => return Disp_Label (Node, "PSL cover"); when Iir_Kind_Psl_Restrict_Directive => |