From 2cb604620ec20cb0772f6d3ececdd08fd36cc09a Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 5 Nov 2012 17:10:55 +0100
Subject: [PATCH] Add missing header for snprintf

---
 base-linux/src/platform/linux_syscalls.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/base-linux/src/platform/linux_syscalls.h b/base-linux/src/platform/linux_syscalls.h
index 468c9078bd..0b5832e20f 100644
--- 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>
 
 
 /***********************************