Add missing header for snprintf

2012-11-05 17:10:55 +01:00 · 2012-11-05 17:10:55 +01:00 · 2cb604620e
parent 087582a964
commit 2cb604620e
1 changed files with 1 additions and 0 deletions
--- a/base-linux/src/platform/linux_syscalls.h
+++ b/base-linux/src/platform/linux_syscalls.h
@ -41,6 +41,7 @@
 /* Genode includes */
 #include <util/string.h>
 #include <base/printf.h>
+#include <base/snprintf.h>


 /***********************************