From 1c7e890757423a962569c9275fb3324efb4d23a8 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 14 Nov 2018 18:22:36 +0100
Subject: grt-vpi.ads: fix a warning.

---
 src/grt/grt-vpi.ads | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

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;
-- 
cgit v1.2.3