aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-vpi.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2018-11-14 18:22:36 +0100
committerTristan Gingold <tgingold@free.fr>2018-11-14 18:22:36 +0100
commit1c7e890757423a962569c9275fb3324efb4d23a8 (patch)
tree325b928b03f6f947e42eec1b81ca2b1078b6afe1 /src/grt/grt-vpi.ads
parentfa6dc5bde75cd495f12ab82febe3786ed96a0efb (diff)
downloadghdl-1c7e890757423a962569c9275fb3324efb4d23a8.tar.gz
ghdl-1c7e890757423a962569c9275fb3324efb4d23a8.tar.bz2
ghdl-1c7e890757423a962569c9275fb3324efb4d23a8.zip
grt-vpi.ads: fix a warning.
Diffstat (limited to 'src/grt/grt-vpi.ads')
-rw-r--r--src/grt/grt-vpi.ads1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grt/grt-vpi.ads b/src/grt/grt-vpi.ads
index 3c8911e1d..68635c876 100644
--- a/src/grt/grt-vpi.ads
+++ b/src/grt/grt-vpi.ads
@@ -99,6 +99,7 @@ package Grt.Vpi is
type struct_vpiHandle (<>) is private;
type vpiHandle is access struct_vpiHandle;
+ pragma No_Strict_Aliasing (vpiHandle);
-- typedef struct t_vpi_time {
-- int type;