From a26b4e6bd456c61250ea1aa9b93804959c47c3cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <jws@sysret.de>
Date: Tue, 7 Mar 2017 16:28:20 +0100
Subject: [PATCH] nic_bridge: remove os/server.h usage

Issue #2310.
---
 repos/os/src/server/nic_bridge/packet_handler.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/repos/os/src/server/nic_bridge/packet_handler.h b/repos/os/src/server/nic_bridge/packet_handler.h
index fddda8f6ef..4d05b8f16e 100644
--- a/repos/os/src/server/nic_bridge/packet_handler.h
+++ b/repos/os/src/server/nic_bridge/packet_handler.h
@@ -18,7 +18,6 @@
 #include <base/semaphore.h>
 #include <base/thread.h>
 #include <nic_session/connection.h>
-#include <os/server.h>
 #include <net/ethernet.h>
 #include <net/ipv4.h>