From 007368370317cb82504d3acaab29fa02c933e2f7 Mon Sep 17 00:00:00 2001
From: Andrei Miga <andrei.miga2003@gmail.com>
Date: Tue, 12 Dec 2023 17:05:20 +0200
Subject: [PATCH] Remove redundant include

Signed-off-by: Andrei Miga <andrei.miga2003@gmail.com>
---
 src/os_threadpool.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/os_threadpool.c b/src/os_threadpool.c
index 8cbde0d..69789a1 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>
-- 
GitLab