--- src/input/context.h
+++ src/input/context.h	2024-08-01 10:25:27
@@ -24,6 +24,7 @@
 #include <string>
 #include <vector>
 #include <unordered_map>
+#include <functional>
 
 void registerDefaultContexts(class ContextManager& contextManager, class DebugInputManager& dbgInputManager);