diff --git a/src/ccode/colorize.c b/src/ccode/colorize.c
index 4787051..c388f08 100755
--- a/src/ccode/colorize.c
+++ b/src/ccode/colorize.c
@@ -4,6 +4,7 @@
 #include <math.h>
 #include <stdio.h>
 #include <unistd.h>
+#include <stdio.h>
 
 #ifndef get_bool
 int get_bool(char* name);