diff --git a/src/sharedspice.c b/src/sharedspice.c
index 122bf8e59..904e09018 100644
--- a/src/sharedspice.c
+++ b/src/sharedspice.c
@@ -177,6 +177,7 @@ extern void initw(void);
 static runDesc *cur_run;
 
 void sh_stdflush(FILE *f);
+double getisrcval(double time, char *iname);
 
 int sh_fputsll(const char *input, FILE* outf);