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);