vpi: add vpi_vprintf.

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;