From c94d7153fda632b5f05dcc90155363ebf4af83e3 Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Wed, 16 Dec 2015 21:11:18 +0100
Subject: [PATCH] fix commit, "src/sharedspice.c, add vfprintf to interface for
 transferring ..."

---
 src/sharedspice.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/sharedspice.c b/src/sharedspice.c
index 2f4acd42b..51de5fcaf 100644
--- a/src/sharedspice.c
+++ b/src/sharedspice.c
@@ -177,7 +177,6 @@ extern void initw(void);
 static runDesc *cur_run;
 
 void sh_stdflush(FILE *f);
-int  sh_vfprintf(FILE *f, const char *fmt, va_list args);
 
 int sh_fputsll(const char *input, FILE* outf);