From 79d33824f0cc96b2fe536293fa86dfeb5451f39c Mon Sep 17 00:00:00 2001
From: Georgios Kafanas <georgios.kafanas@uni.lu>
Date: Mon, 27 Oct 2025 11:43:41 +0100
Subject: [PATCH] [BUGFIX] Add missing header for timeval

---
 core/tw-timing.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/core/tw-timing.h b/core/tw-timing.h
index 5e648a0da..ec6a24ab7 100644
--- a/core/tw-timing.h
+++ b/core/tw-timing.h
@@ -1,6 +1,8 @@
 #ifndef INC_tw_timing_h
 #define INC_tw_timing_h
 
+#include <sys/time.h>
+
 typedef struct timeval tw_wtime;
 
 #endif