From a61e278cec2dcca77339c04d545e3b669f7980f4 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 10 Mar 2014 14:53:39 +0100
Subject: [PATCH] scout: include scout/platform.h for new operator

---
 demo/src/app/scout/elements.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/demo/src/app/scout/elements.h b/demo/src/app/scout/elements.h
index 3801907149..6bff0e1dde 100644
--- a/demo/src/app/scout/elements.h
+++ b/demo/src/app/scout/elements.h
@@ -18,6 +18,7 @@
 #include <scout/printf.h>
 #include <scout/string.h>
 #include <scout/fader.h>
+#include <scout/platform.h>
 
 namespace Scout {
 	class Style;