From 13d46f29c2872493e7c9b66ea744aa254486725c Mon Sep 17 00:00:00 2001
From: Ingo Ruhnke <grumbel@gmail.com>
Date: Wed, 6 Aug 2014 04:32:29 +0200
Subject: [PATCH] Added missing <vector> include

---
 src/gui/mousecursor.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/gui/mousecursor.hpp b/src/gui/mousecursor.hpp
index 3ecd84e78..0f517f66c 100644
--- a/src/gui/mousecursor.hpp
+++ b/src/gui/mousecursor.hpp
@@ -18,6 +18,7 @@
 #define HEADER_SUPERTUX_GUI_MOUSECURSOR_HPP
 
 #include <string>
+#include <vector>
 
 #include "video/surface_ptr.hpp"
 
-- 
2.11.0