diff --git a/repos/gems/src/test/driver_manager/main.cc b/repos/gems/src/test/driver_manager/main.cc
index 95f3baa992..d7a973a097 100644
--- a/repos/gems/src/test/driver_manager/main.cc
+++ b/repos/gems/src/test/driver_manager/main.cc
@@ -16,7 +16,6 @@
#include
#include
#include
-#include
#include
namespace Test {
diff --git a/repos/ports/src/app/seoul/console.h b/repos/ports/src/app/seoul/console.h
index dcab50bbf9..91080a0af9 100644
--- a/repos/ports/src/app/seoul/console.h
+++ b/repos/ports/src/app/seoul/console.h
@@ -30,7 +30,6 @@
/* os includes */
#include
#include
-#include
#include
#include
diff --git a/repos/ports/src/virtualbox5/frontend/console.h b/repos/ports/src/virtualbox5/frontend/console.h
index 7520c6ed39..184220593f 100644
--- a/repos/ports/src/virtualbox5/frontend/console.h
+++ b/repos/ports/src/virtualbox5/frontend/console.h
@@ -18,7 +18,6 @@
#include
#include
#include
-#include
#define Framebuffer Fb_Genode
#include
#undef Framebuffer