From fde4e247d84bb5d60758e6b615cafc63f76ffefb Mon Sep 17 00:00:00 2001
From: Marek Roszko <mark.roszko@gmail.com>
Date: Sat, 24 Oct 2020 00:44:25 -0400
Subject: [PATCH] Add missing include

---
 include/hotkey_store.h | 1 +
 1 file changed, 1 insertion(+)

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;