diff --git a/repos/os/src/server/terminal_crosslink/terminal_root.h b/repos/os/src/server/terminal_crosslink/terminal_root.h
index 35c123f904..0d3f5039ad 100644
--- a/repos/os/src/server/terminal_crosslink/terminal_root.h
+++ b/repos/os/src/server/terminal_crosslink/terminal_root.h
@@ -15,7 +15,6 @@
 #define _TERMINAL_ROOT_H_
 
 /* Genode includes */
-#include <cap_session/cap_session.h>
 #include <root/component.h>
 
 /* local includes */