aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-post_sems.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/vhdl/vhdl-post_sems.adb')
-rw-r--r--src/vhdl/vhdl-post_sems.adb3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-post_sems.adb b/src/vhdl/vhdl-post_sems.adb
index c477ce813..28f0c54d7 100644
--- a/src/vhdl/vhdl-post_sems.adb
+++ b/src/vhdl/vhdl-post_sems.adb
@@ -39,7 +39,8 @@ package body Vhdl.Post_Sems is
-- No checks on package bodies or context declaration
case Get_Kind (Lib_Unit) is
when Iir_Kind_Package_Body
- | Iir_Kind_Context_Declaration =>
+ | Iir_Kind_Context_Declaration
+ | Iir_Kinds_Verification_Unit =>
return;
when others =>
null;