diff options
| -rw-r--r-- | src/core/core_timing.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/core_timing.h b/src/core/core_timing.h index 5c9ee2902..901bf532e 100644 --- a/src/core/core_timing.h +++ b/src/core/core_timing.h @@ -5,6 +5,7 @@ #include <atomic> #include <chrono> +#include <condition_variable> #include <functional> #include <memory> #include <mutex> |