From 769b358b41351f5824dd23151270505835cee6bc Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 9 Jul 2016 19:50:55 +0200
Subject: vpi: add vpi_vprintf.

---
 src/grt/grt-cvpi.c  | 6 ++++++
 src/grt/grt-vpi.adb | 9 ---------
 src/grt/grt-vpi.ads | 4 ----
 3 files changed, 6 insertions(+), 13 deletions(-)

(limited to 'src')

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
@@ -254,6 +254,12 @@ loadVpiModule (const char* modulename)
   return -1; // failed to register VPI module
 }
 
+void
+vpi_vprintf (const char*fmt, va_list ap)
+{
+  vprintf (fmt, ap);
+}
+
 void
 vpi_printf (const char *fmt, ...)
 {
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;
-- 
cgit v1.2.3