From bf1e66b2f338ce8b51977bb63803cdaed7780a08 Mon Sep 17 00:00:00 2001
From: Jonathan G Rennison <j.g.rennison@gmail.com>
Date: Sun, 28 May 2023 23:51:37 +0100
Subject: [PATCH] Add missing <functional> header to src/timer/timer.h

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

diff --git a/src/timer/timer.h b/src/timer/timer.h
index d49d60aaff..b2af446ec7 100644
--- a/src/timer/timer.h
+++ b/src/timer/timer.h
@@ -11,6 +11,7 @@
 #define TIMER_H
 
 #include "timer_manager.h"
+#include <functional>
 
 
 /**