Remove an unused header

lf-lang · Oct 9, 2024 · 700835b · 700835b
1 parent 5874882
commit 700835b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/core/threaded/scheduler_static.c b/core/threaded/scheduler_static.c
@@ -45,7 +45,6 @@ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 #include "scheduler_static_functions.h"
 #include "scheduler_sync_tag_advance.h"
 #include "scheduler.h"
-#include "semaphore.h"
 #include "tag.h"
 #include "tracepoint.h"
 #include "util.h"