diff options
Diffstat (limited to 'src')
| -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 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 |