From 41b3d3abc1e42cec469e8b48456351e836f435ab Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 13 Nov 2017 16:25:37 +0100
Subject: [PATCH] init: make 'Server' class usable by external components

Issue #2574
---
 repos/os/src/init/server.cc        | 2 +-
 repos/os/src/init/server.h         | 8 ++++----
 repos/os/src/init/state_reporter.h | 2 +-
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/repos/os/src/init/server.cc b/repos/os/src/init/server.cc
index faf5b2eba..0af8649f1 100644
--- a/repos/os/src/init/server.cc
+++ b/repos/os/src/init/server.cc
@@ -16,7 +16,7 @@
 #include <os/session_policy.h>
 
 /* local includes */
-#include <server.h>
+#include "server.h"
 
 
 /***************************
diff --git a/repos/os/src/init/server.h b/repos/os/src/init/server.h
index 45f0eef0c..8b1d63446 100644
--- a/repos/os/src/init/server.h
+++ b/repos/os/src/init/server.h
@@ -18,10 +18,10 @@
 #include <base/attached_rom_dataspace.h>
 
 /* local includes */
-#include <types.h>
-#include <service.h>
-#include <buffered_xml.h>
-#include <state_reporter.h>
+#include "types.h"
+#include "service.h"
+#include "buffered_xml.h"
+#include "state_reporter.h"
 
 namespace Init { class Server; }
 
diff --git a/repos/os/src/init/state_reporter.h b/repos/os/src/init/state_reporter.h
index cf6bf528d..a009bc2d9 100644
--- a/repos/os/src/init/state_reporter.h
+++ b/repos/os/src/init/state_reporter.h
@@ -19,7 +19,7 @@
 #include <timer_session/connection.h>
 
 /* local includes */
-#include <report.h>
+#include "report.h"
 
 namespace Init { class State_reporter; }