From 00b09de3d9578b29271b33df1b98a37449e7373f Mon Sep 17 00:00:00 2001
From: Fernando Sahmkow <fsahmkow27@gmail.com>
Date: Sun, 28 Nov 2021 11:28:29 +0100
Subject: [PATCH] Core: add missing include.

---
 src/core/core_timing.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/core_timing.h b/src/core/core_timing.h
index 5c9ee29029..901bf532ed 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>