diff --git a/repos/libports/src/lib/pthread/semaphore.cc b/repos/libports/src/lib/pthread/semaphore.cc
index ed1c46654..a215d0575 100644
--- a/repos/libports/src/lib/pthread/semaphore.cc
+++ b/repos/libports/src/lib/pthread/semaphore.cc
@@ -12,9 +12,8 @@
* under the terms of the GNU General Public License version 2.
*/
+#include
#include
-#include
-
#include
using namespace Genode;
@@ -25,9 +24,9 @@ extern "C" {
* This class is named 'struct sem' because the 'sem_t' type is
* defined as 'struct sem*' in 'semaphore.h'
*/
- struct sem : Timed_semaphore
+ struct sem : Semaphore
{
- sem(int value) : Timed_semaphore(value) { }
+ sem(int value) : Semaphore(value) { }
};