summaryrefslogtreecommitdiff
path: root/src/grt/grt-avhpi.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/grt/grt-avhpi.ads')
-rw-r--r--src/grt/grt-avhpi.ads3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/grt/grt-avhpi.ads b/src/grt/grt-avhpi.ads
index 1eff5a8..e55a1d8 100644
--- a/src/grt/grt-avhpi.ads
+++ b/src/grt/grt-avhpi.ads
@@ -538,7 +538,8 @@ private
| VhpiSubtypeDeclK
| VhpiArrayTypeDeclK
| VhpiEnumTypeDeclK
- | VhpiPhysTypeDeclK =>
+ | VhpiPhysTypeDeclK
+ | VhpiIntTypeDeclK =>
Atype : Ghdl_Rti_Access;
when VhpiCompInstStmtK =>
Inst : Ghdl_Rtin_Instance_Acc;