1 files changed, 11 insertions, 0 deletions
diff --git a/c/src/exec/score/tools/sh/sci.h b/c/src/exec/score/tools/sh/sci.h
new file mode 100644
index 0000000000..b55bbfb670
--- /dev/null
+++ b/c/src/exec/score/tools/sh/sci.h
@@ -0,0 +1,11 @@
+#ifndef _shgen_sci_h
+#define _shgen_sci_h
+
+#include <stdio.h>
+
+extern int shgen_gensci(
+  FILE		*file,
+  double	Phi /* Processor frequency [Hz] */
+  );
+
+#endif