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