diff options
-rw-r--r-- | src/runtime/CPP/CPPScheduler.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/runtime/CPP/CPPScheduler.cpp b/src/runtime/CPP/CPPScheduler.cpp index 137c18bd50..7203146829 100644 --- a/src/runtime/CPP/CPPScheduler.cpp +++ b/src/runtime/CPP/CPPScheduler.cpp @@ -31,7 +31,6 @@ #include <condition_variable> #include <iostream> #include <mutex> -#include <semaphore.h> #include <system_error> #include <thread> |