Random stuff that I should have committed ages ago.
[supertux.git] / src / object / pushbutton.cpp
index 0f1256c..3630cf6 100644 (file)
@@ -27,6 +27,7 @@
 #include "sprite/sprite_manager.hpp"
 #include "sector.hpp"
 #include "log.hpp"
+#include "sprite/sprite.hpp"
 
 namespace {
   const std::string BUTTON_SOUND = "sounds/switch.ogg";