terminal_crosslink: prevent deprecated warning

This commit is contained in:
Christian Helmuth 2017-03-01 17:19:46 +01:00
parent a558afbed5
commit ca57afd67e

View File

@ -15,7 +15,6 @@
#define _TERMINAL_ROOT_H_
/* Genode includes */
#include <cap_session/cap_session.h>
#include <root/component.h>
/* local includes */