diff --git a/src/os_threadpool.c b/src/os_threadpool.c
index 8cbde0d0f751d97bf5802ac6216bcf573f960f41..69789a1935c8281014fa94fdcda8c51855169567 100644
--- a/src/os_threadpool.c
+++ b/src/os_threadpool.c
@@ -1,7 +1,6 @@
 // SPDX-License-Identifier: BSD-3-Clause
 
 #include <pthread.h>
-#include <semaphore.h>
 #include <stdatomic.h>
 #include <stdlib.h>
 #include <stdio.h>