diff options
author | Tristan Gingold <tgingold@free.fr> | 2018-11-14 18:22:36 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2018-11-14 18:22:36 +0100 |
commit | 1c7e890757423a962569c9275fb3324efb4d23a8 (patch) | |
tree | 325b928b03f6f947e42eec1b81ca2b1078b6afe1 /src/grt | |
parent | fa6dc5bde75cd495f12ab82febe3786ed96a0efb (diff) | |
download | ghdl-1c7e890757423a962569c9275fb3324efb4d23a8.tar.gz ghdl-1c7e890757423a962569c9275fb3324efb4d23a8.tar.bz2 ghdl-1c7e890757423a962569c9275fb3324efb4d23a8.zip |
grt-vpi.ads: fix a warning.
Diffstat (limited to 'src/grt')
-rw-r--r-- | src/grt/grt-vpi.ads | 1 |
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; |