diff options
Diffstat (limited to 'src/vhdl/vhdl-errors.adb')
-rw-r--r-- | src/vhdl/vhdl-errors.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-errors.adb b/src/vhdl/vhdl-errors.adb index e4c7ba93c..57be65311 100644 --- a/src/vhdl/vhdl-errors.adb +++ b/src/vhdl/vhdl-errors.adb @@ -689,7 +689,7 @@ package body Vhdl.Errors is return Disp_Label (Node, "concurrent assertion"); when Iir_Kind_Psl_Assert_Statement => return Disp_Label (Node, "PSL assertion"); - when Iir_Kind_Psl_Cover_Statement => + when Iir_Kind_Psl_Cover_Directive => return Disp_Label (Node, "PSL cover"); when Iir_Kind_Psl_Restrict_Directive => return "PSL restrict"; |