From f6b995b80ef889db519f5dc75ebf524e0ec234e0 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Wed, 12 Dec 2018 22:31:49 +0100
Subject: [PATCH] remove unused fcn declaration

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

diff --git a/src/sharedspice.c b/src/sharedspice.c
index 6268cfaf8..35aceb27c 100644
--- a/src/sharedspice.c
+++ b/src/sharedspice.c
@@ -185,7 +185,6 @@ void exec_controls(wordlist *controls);
 /*The current run (to get variable names, etc)*/
 static runDesc *cur_run;
 
-void sh_stdflush(FILE *f);
 double getisrcval(double time, char *iname);
 
 int sh_fputsll(const char *input, FILE* outf);