diff options
Diffstat (limited to 'src/grt/grt-vpi.ads')
| -rw-r--r-- | src/grt/grt-vpi.ads | 4 |
1 files changed, 0 insertions, 4 deletions
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; |