diff --git a/repos/dde_bsd/src/lib/audio/include/scheduler.h b/repos/dde_bsd/src/lib/audio/include/scheduler.h index ee1a843680..fe57adfdf2 100644 --- a/repos/dde_bsd/src/lib/audio/include/scheduler.h +++ b/repos/dde_bsd/src/lib/audio/include/scheduler.h @@ -18,7 +18,6 @@ /* Genode includes */ #include -#include #include /* local includes */ @@ -140,7 +139,6 @@ class Bsd::Scheduler private: Bsd::List _present_list; - Genode::Lock _present_list_mutex; Task *_current = nullptr; /* currently scheduled task */