diff --git a/repos/demo/src/app/launchpad/main.cc b/repos/demo/src/app/launchpad/main.cc index f7ea8df6d0..a67971697b 100644 --- a/repos/demo/src/app/launchpad/main.cc +++ b/repos/demo/src/app/launchpad/main.cc @@ -25,8 +25,6 @@ #include "elements.h" #include "launchpad_window.h" -#include - static Genode::Allocator *_alloc_ptr;