Fix music not properly fading in again

[supertux.git] / src / gui / mousecursor.hpp

diff --git a/src/gui/mousecursor.hpp b/src/gui/mousecursor.hpp
index 3ecd84e..4aaa11d 100644 (file)
--- 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"
 
@@ -63,7 +64,7 @@ public:
   /// Set current cursor.
   static void set_current(MouseCursor* pcursor)
   {        current_ = pcursor;      };
-  
+
 private:
   int m_mid_x;
   int m_mid_y;