Remove superfluous include
This commit is contained in:
parent
d1de48e4a4
commit
3772a526f6
|
@ -12,7 +12,6 @@
|
||||||
*/
|
*/
|
||||||
|
|
||||||
/* Genode includes */
|
/* Genode includes */
|
||||||
#include <os/config.h>
|
|
||||||
#include <os/slave.h>
|
#include <os/slave.h>
|
||||||
#include <timer_session/connection.h>
|
#include <timer_session/connection.h>
|
||||||
#include <cap_session/connection.h>
|
#include <cap_session/connection.h>
|
||||||
|
|
Loading…
Reference in New Issue
Block a user