aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-errors.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-07-04 18:20:30 +0200
committerTristan Gingold <tgingold@free.fr>2019-07-04 18:20:30 +0200
commit688173587e76ee89b67b0c0aeb93385c0db08b22 (patch)
tree5d9fda9535196719ac8a71f90d1a2d62529d42f0 /src/vhdl/vhdl-errors.adb
parent17ab141656d8a0ba80309ca4d85e65a038c873e0 (diff)
downloadghdl-688173587e76ee89b67b0c0aeb93385c0db08b22.tar.gz
ghdl-688173587e76ee89b67b0c0aeb93385c0db08b22.tar.bz2
ghdl-688173587e76ee89b67b0c0aeb93385c0db08b22.zip
vhdl: rename Cover_Statement to Cover_Directive.
Diffstat (limited to 'src/vhdl/vhdl-errors.adb')
-rw-r--r--src/vhdl/vhdl-errors.adb2
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";