From 3772a526f6fb284879cb5d1faf24ef29a59ba513 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 1 Nov 2012 17:01:40 +0100
Subject: [PATCH] Remove superfluous include

---
 os/src/test/dynamic_config/master/main.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/os/src/test/dynamic_config/master/main.cc b/os/src/test/dynamic_config/master/main.cc
index 6caae86b8..e38ba4eb8 100644
--- a/os/src/test/dynamic_config/master/main.cc
+++ b/os/src/test/dynamic_config/master/main.cc
@@ -12,7 +12,6 @@
  */
 
 /* Genode includes */
-#include <os/config.h>
 #include <os/slave.h>
 #include <timer_session/connection.h>
 #include <cap_session/connection.h>