benchmarks: Reunited common functions for benches in a new shell file.

[nit.git] / lib / standard / exec_nit.c

diff --git a/lib/standard/exec_nit.c b/lib/standard/exec_nit.c
index 9b6a5e4..c808105 100644 (file)
--- a/lib/standard/exec_nit.c
+++ b/lib/standard/exec_nit.c
@@ -15,6 +15,7 @@
 #include <stdlib.h>
 #include <string.h>
 #include <errno.h>
+#include <stdio.h>
 
 se_exec_data_t* exec_Process_Process_basic_exec_execute_4(void *s, char *prog, char *args, int len, int pipeflag) {
        se_exec_data_t* result = NULL;