add stdio.h

diff --git a/plugins/menu/timed_menu.c b/plugins/menu/timed_menu.c
index 788f7180e2867d55df1ced3c099c8726d6862302..ee1de79393982d2291aa3c4c5b84488b6d3656f5 100644 (file)
--- a/plugins/menu/timed_menu.c
+++ b/plugins/menu/timed_menu.c
@@ -3,6 +3,7 @@
 #include <unistd.h>
 #include <errno.h>
 #include <string.h>
+#include <stdio.h>
 
 #include "kernel/menu.h"
 #include "kernel/timer.h"