diff options
| -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; |