From 3f933469fe82f240d9f71bd61306ae1f10cdaf08 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 26 May 2016 07:46:20 +0200
Subject: vpi: add vpiSize.

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

diff --git a/src/grt/grt-vpi.ads b/src/grt/grt-vpi.ads
index ddfc7cf99..7e17c01e5 100644
--- a/src/grt/grt-vpi.ads
+++ b/src/grt/grt-vpi.ads
@@ -35,6 +35,7 @@ package Grt.Vpi is
    vpiType:          constant integer :=  1;
    vpiName:          constant integer :=  2;
    vpiFullName:      constant integer :=  3;
+   vpiSize:          constant integer :=  4;
    vpiTimePrecision: constant integer := 12;
 
    -- object codes, see vpi_user.h
-- 
cgit v1.2.3