diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/grt/grt-cvpi.c | 6 | ||||
-rw-r--r-- | src/grt/grt-vpi.adb | 9 | ||||
-rw-r--r-- | src/grt/grt-vpi.ads | 4 |
3 files changed, 6 insertions, 13 deletions
diff --git a/src/grt/grt-cvpi.c b/src/grt/grt-cvpi.c index 3e427c551..6f8420dbf 100644 --- a/src/grt/grt-cvpi.c +++ b/src/grt/grt-cvpi.c @@ -255,6 +255,12 @@ loadVpiModule (const char* modulename) } void +vpi_vprintf (const char*fmt, va_list ap) +{ + vprintf (fmt, ap); +} + +void vpi_printf (const char *fmt, ...) { va_list params; diff --git a/src/grt/grt-vpi.adb b/src/grt/grt-vpi.adb index f20cec6f4..b6742d092 100644 --- a/src/grt/grt-vpi.adb +++ b/src/grt/grt-vpi.adb @@ -1577,15 +1577,6 @@ package body Grt.Vpi is return Res; end vpi_remove_cb; - -- void vpi_vprintf(const char*fmt, va_list ap) - procedure vpi_vprintf (Fmt : Address; Ap : Address) - is - pragma Unreferenced (Fmt); - pragma Unreferenced (Ap); - begin - null; - end vpi_vprintf; - -- missing here, see grt-cvpi.c: -- vpi_mcd_open_x -- vpi_mcd_vprintf diff --git a/src/grt/grt-vpi.ads b/src/grt/grt-vpi.ads index b81d73b58..a669632ca 100644 --- a/src/grt/grt-vpi.ads +++ b/src/grt/grt-vpi.ads @@ -277,10 +277,6 @@ package Grt.Vpi is function vpi_remove_cb (Ref : vpiHandle) return integer; pragma Export (C, vpi_remove_cb, "vpi_remove_cb"); - -- void vpi_vprintf(const char*fmt, va_list ap) - procedure vpi_vprintf (Fmt: Address; Ap: Address); - pragma Export (C, vpi_vprintf, "vpi_vprintf"); - -- typedef struct t_vpi_error_info -- { -- int32_t state; |