diff --git a/include/hotkey_store.h b/include/hotkey_store.h
index 5160a34376..612463752f 100644
--- a/include/hotkey_store.h
+++ b/include/hotkey_store.h
@@ -26,6 +26,7 @@
 
 #include <hotkeys_basic.h>
 #include <tool/tool_action.h>
+#include <vector>
 
 class TOOL_MANAGER;